diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index 39259289278ab57f6126995ea1e3643bc7344020..baefb5c94e8720720c58a4492a68514ff6662681 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -2,7 +2,7 @@ apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
 
-project.version = '1.0.2-SNAPSHOT'
+project.version = '1.0.2'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = 'tlatools'