diff --git a/build.gradle b/build.gradle
index 371bc8165e167d4f54573db00840dcf9eea7da4f..e333a01d24556c9821b765a0deaddd6bfe198a03 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,4 +1,5 @@
 plugins {
+	id "application"
 	id 'java-library'
 	id 'eclipse'
 	id 'maven-publish'
@@ -44,10 +45,14 @@ java {
 	withJavadocJar()
 }
 
+application {
+	mainClass = "de.tla2b.TLA2B"
+}
+
 jar {
 	manifest {
 		attributes([
-			"Main-Class": "de.tla2b.TLA2B",
+			"Main-Class": application.mainClass,
 		])
 	}
 }