diff --git a/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java b/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java
index dc55f6863755c82895c20e82b39e567ed6cf976d..9f9761dcf27f7ffb06ae3e8564bcc8acbf6cf193 100644
--- a/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java
+++ b/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java
@@ -1,7 +1,5 @@
 package de.tla2b.exceptions;
 
-
-@SuppressWarnings("serial")
 public class ConfigFileErrorException extends TLA2BException {
 
 	public ConfigFileErrorException(String s) {
diff --git a/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java b/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java
index ff7f014ccd7c835419c8c3f3787f64f186edcce2..ae48ae83d2bde80f88c8c9e2df7444b2b21c65ba 100644
--- a/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java
+++ b/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public class ExpressionTranslationException extends RuntimeException {
 
 	public ExpressionTranslationException(final String message) {
diff --git a/src/main/java/de/tla2b/exceptions/ModuleErrorException.java b/src/main/java/de/tla2b/exceptions/ModuleErrorException.java
deleted file mode 100644
index 7e8be40beb423f07b3f525c9b147a75acf296144..0000000000000000000000000000000000000000
--- a/src/main/java/de/tla2b/exceptions/ModuleErrorException.java
+++ /dev/null
@@ -1,10 +0,0 @@
-package de.tla2b.exceptions;
-
-
-@SuppressWarnings("serial")
-public class ModuleErrorException extends TLA2BException {
-	public ModuleErrorException(String e) {
-		super(e);
-	}
-
-}
diff --git a/src/main/java/de/tla2b/exceptions/NotImplementedException.java b/src/main/java/de/tla2b/exceptions/NotImplementedException.java
index 1ef2526a1557f45701877fed785b8f434acc10b1..a7364d7d7bebbedc73d4f55570c47ca6e536a512 100644
--- a/src/main/java/de/tla2b/exceptions/NotImplementedException.java
+++ b/src/main/java/de/tla2b/exceptions/NotImplementedException.java
@@ -1,10 +1,8 @@
 package de.tla2b.exceptions;
 
-
-@SuppressWarnings("serial")
 public class NotImplementedException extends RuntimeException {
+
 	public NotImplementedException(String e) {
 		super(e);
 	}
-
 }
diff --git a/src/main/java/de/tla2b/exceptions/SemanticErrorException.java b/src/main/java/de/tla2b/exceptions/SemanticErrorException.java
index 169718de0a54dc9600ecdc1b09cfec870e64178a..9634f6f22f77490db1dbd80465aa99f6718f0f12 100644
--- a/src/main/java/de/tla2b/exceptions/SemanticErrorException.java
+++ b/src/main/java/de/tla2b/exceptions/SemanticErrorException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public class SemanticErrorException extends TLA2BException {
 
 	public SemanticErrorException(String e) {
diff --git a/src/main/java/de/tla2b/exceptions/TLA2BException.java b/src/main/java/de/tla2b/exceptions/TLA2BException.java
index 42148cc2f21d7b3bedc3c4b00bc1929a47e326e1..232d74cc3f4f52b14dae781402bd1ad7571e79d6 100644
--- a/src/main/java/de/tla2b/exceptions/TLA2BException.java
+++ b/src/main/java/de/tla2b/exceptions/TLA2BException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public abstract class TLA2BException extends Exception {
 
 	public TLA2BException(String e) {
diff --git a/src/main/java/de/tla2b/exceptions/TLA2BIOException.java b/src/main/java/de/tla2b/exceptions/TLA2BIOException.java
deleted file mode 100644
index 583859d57511abe0e8e5bdb448fdbc4a80f37d36..0000000000000000000000000000000000000000
--- a/src/main/java/de/tla2b/exceptions/TLA2BIOException.java
+++ /dev/null
@@ -1,10 +0,0 @@
-package de.tla2b.exceptions;
-
-@SuppressWarnings("serial")
-public class TLA2BIOException extends TLA2BException {
-
-
-	public TLA2BIOException(String e) {
-		super(e);
-	}
-}
diff --git a/src/main/java/de/tla2b/exceptions/TypeErrorException.java b/src/main/java/de/tla2b/exceptions/TypeErrorException.java
index 15f2116500a3a02a58da87c65d10bbb412d0afe1..7e59c6d8bbc9aa40bc078ffce215361ee9f4e0e0 100644
--- a/src/main/java/de/tla2b/exceptions/TypeErrorException.java
+++ b/src/main/java/de/tla2b/exceptions/TypeErrorException.java
@@ -1,10 +1,7 @@
 package de.tla2b.exceptions;
 
-
-@SuppressWarnings("serial")
 public class TypeErrorException extends TLA2BException {
 
-
 	public TypeErrorException(String s) {
 		super(s);
 	}
diff --git a/src/main/java/de/tla2b/exceptions/UnificationException.java b/src/main/java/de/tla2b/exceptions/UnificationException.java
index 74b01bf04e2a9cc404ff2983641dc34520ebb571..ed6565ef0a3383c3df3d5d487a9546a64155e57f 100644
--- a/src/main/java/de/tla2b/exceptions/UnificationException.java
+++ b/src/main/java/de/tla2b/exceptions/UnificationException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public class UnificationException extends TLA2BException {
 
 	public UnificationException() {