diff --git a/src/main/java/de/tlc4b/Translator.java b/src/main/java/de/tlc4b/Translator.java
index ece6c344e0a8a3fc07380ca1c362a82e3cec817e..8a2516c1817e882a423c62804e6f55a4d1fbf6b6 100644
--- a/src/main/java/de/tlc4b/Translator.java
+++ b/src/main/java/de/tlc4b/Translator.java
@@ -66,11 +66,7 @@ public class Translator {
 		this.ltlFormula = ltlFormula;
 
 		BParser parser = new BParser(machineName);
-		try {
-			start = parser.parseFile(machineFile);
-		} catch (NoClassDefFoundError e) {
-			throw new TLC4BIOException("Definitions file cannot be found.", e);
-		}
+		start = parser.parseFile(machineFile);
 
 		// Definitions of definitions files are injected in the ast of the main
 		// machine