Fix indents and formatting in build.gradle

build.gradle

-project.version = '1.0.7-SNAPSHOT';
+project.version = '1.0.7-SNAPSHOT'
 project.group = 'de.hhu.stups'
 
 apply plugin: 'java'
@@ -43,7 +43,9 @@ dependencies {
 }
 
 task genParser(type: JavaExec) {
-    doFirst{ file('build/temp').mkdirs() }
+	doFirst {
+		file('build/temp').mkdirs()
+	}
 	inputs.dir new File('src/main/resources')
 	outputs.dir new File('build/temp')
 	main = 'org.sablecc.sablecc.SableCC'
@@ -60,7 +62,6 @@ test {
 	doFirst {
 		println "testing"
 	}
-
 }
 
 mainClassName = 'de.stups.probkodkod.KodkodInteraction'
@@ -71,9 +72,11 @@ javadoc {
 
 jar {
 	manifest {
-       attributes 'Main-Class': mainClassName,
+		attributes([
+			'Main-Class': mainClassName,
 			'Implementation-Title': 'ProB Kodkod',
-                  'Implementation-Version': project.version
+			'Implementation-Version': project.version,
+		])
 	}
 	include '**/*.class'
 	include '**/*.java'
@@ -86,7 +89,6 @@ jar {
 }
 
 if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
-
 	apply plugin: 'signing'
 
 	ext."signing.secretKeyRingFile" = rootProject.file("secring.gpg").absolutePath
@@ -95,7 +97,6 @@ signing {
 		sign configurations.archives
 	}
 
-
 	task javadocJar(type: Jar) {
 		classifier = 'javadoc'
 		from javadoc
@@ -143,7 +144,6 @@ uploadArchives {
 						url 'https://github.com/hhu-stups/probkodkod'
 					}
 
-
 					developers {
 						developer {
 							id 'bendisposto'