Replace use of deprecated task << operator in build.gradle

tlatools/build.gradle

@@ -33,14 +33,12 @@ javadoc {
 	failOnError = false
 }
 
-task tlatools(dependsOn: build) << {
-	copy {
+task tlatools(type: Copy, dependsOn: build) {
 	from('build/libs/')
 	into('build/tlatools')
 	include('tlatools-' + project.version + '.jar')
 	rename('tlatools-(.+)', 'tlatools.jar')
 }
-}
 
 if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
 	println "Configuring deployment for ${ project.name }"