diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 058e19f2b6f24f0e32db01c672b729a2fc4b202a..0fd5da00eaebab45c30034ae5fac260f45d2397e 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -6,8 +6,8 @@ project.version = '1.0.3-SNAPSHOT'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = 'tlatools'
 
-project.sourceCompatibility = '1.7'
-project.targetCompatibility = '1.7'
+project.sourceCompatibility = JavaVersion.VERSION_1_8
+project.targetCompatibility = JavaVersion.VERSION_1_8
 
 repositories {
 	mavenCentral()