diff --git a/.travis.yml b/.travis.yml
index 64452085026a77b5329802359501584bfcd4ff06..d3615f4ff0966d697a8249dfcac45baefe8b615e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,5 @@
 language: java
-
+sudo: true
 script: gradle tla2b check uploadArchives
 
 before_install:
diff --git a/build.gradle b/build.gradle
index 9bb39b789ddceb1017a513c6622bb0ac1ade7593..cbf7dac908e26c70e0c2ffa2ed24db93339f6330 100644
--- a/build.gradle
+++ b/build.gradle
@@ -4,7 +4,7 @@ apply plugin: 'maven'
 apply plugin: 'jacoco'
 apply plugin: 'findbugs'
 
-project.version = '1.1.0'
+project.version = '1.1.1'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "tla2bAST"