diff --git a/build.gradle b/build.gradle
index 3a64a6f2f0feaf9dabef8e04a3e26106234cad83..67011818a8c4b8c9ccfbede9858557ebff9043f0 100644
--- a/build.gradle
+++ b/build.gradle
@@ -8,6 +8,8 @@ project.version = '1.0.8-SNAPSHOT'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = "tla2bAST"
 
+project.sourceCompatibility = '1.7'
+project.targetCompatibility = '1.7'
 
 
 repositories {