diff --git a/.gitignore b/.gitignore
index d4bdffae30aa5418f42878ff2f05f9ba6adea816..61f75f48778163bc49c1fb487ab3c3cfc649dbec 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,3 @@
 .classpath
 .project
 .settings/
-
-# Build output
-TLA2B.jar
diff --git a/.travis.yml b/.travis.yml
index 35de1f5119e9e121084b0ae826a6fd6f522aba74..9120ef0e928d2dbcefa0867dfbd736ec2f3d250b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,5 @@
 language: java
-script: ./gradlew tla2b check uploadArchives
+script: ./gradlew createJar check uploadArchives
 
 before_install:
 - openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg
diff --git a/build.gradle b/build.gradle
index 0b5c8e3b918b4d977a1b008db0e3ae76642d8e21..5e0cbc06da59a57b03a5f12232f477a437d60655 100644
--- a/build.gradle
+++ b/build.gradle
@@ -81,17 +81,6 @@ task createJar(type: Jar, dependsOn: classes){
 	}
 }
 
-
-task tla2b(dependsOn: createJar) {
-	doLast{
-		copy {
-			from('build/libs/')
-			into('.')
-			include('TLA2B.jar')
-		}
-	}
-}
-
 if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
 	apply plugin: 'signing'