Allow passing causes to all TLC4BException constructors

src/main/java/de/tlc4b/exceptions/LTLParseException.java

 package de.tlc4b.exceptions;
 
 public class LTLParseException extends TLC4BException {
+	public LTLParseException(String message) {
+		super(message);
+	}
+
+	public LTLParseException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public LTLParseException(String e) {
-		super(e);
+	public LTLParseException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override
 	public String getError() {
 		return "LTLParseError";
 	}
-
 }

src/main/java/de/tlc4b/exceptions/NotSupportedException.java

 package de.tlc4b.exceptions;
 
 public class NotSupportedException extends TLC4BException {
+	public NotSupportedException(String message) {
+		super(message);
+	}
 
+	public NotSupportedException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public NotSupportedException(String e){
-		super(e);
+	public NotSupportedException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override

src/main/java/de/tlc4b/exceptions/NotSupportedLTLFormulaException.java

 package de.tlc4b.exceptions;
 
 public class NotSupportedLTLFormulaException extends TLC4BException {
+	public NotSupportedLTLFormulaException(String message) {
+		super(message);
+	}
+
+	public NotSupportedLTLFormulaException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public NotSupportedLTLFormulaException(String e) {
-		super(e);
+	public NotSupportedLTLFormulaException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override
 	public String getError() {
 		return "NotSupportedLTLFormula";
 	}
-
 }

src/main/java/de/tlc4b/exceptions/ScopeException.java

 package de.tlc4b.exceptions;
 
 public class ScopeException extends TLC4BException {
+	public ScopeException(String message) {
+		super(message);
+	}
+
+	public ScopeException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public ScopeException(String e){
-		super(e);
+	public ScopeException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override
 	public String getError() {
 		return "ScopeException";
 	}
-	
 }

src/main/java/de/tlc4b/exceptions/SubstitutionException.java

 package de.tlc4b.exceptions;
 
 public class SubstitutionException extends TLC4BException {
+	public SubstitutionException(String message) {
+		super(message);
+	}
+
+	public SubstitutionException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public SubstitutionException(String e) {
-		super(e);
+	public SubstitutionException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override
 	public String getError() {
 		return "SubstitutionError";
 	}
-
 }

src/main/java/de/tlc4b/exceptions/TLC4BException.java

 package de.tlc4b.exceptions;
 
 public abstract class TLC4BException extends RuntimeException {
+	protected TLC4BException(String message) {
+		super(message);
+	}
 
-	public TLC4BException(String e) {
-		super(e);
+	protected TLC4BException(String message, Throwable cause) {
+		super(message, cause);
 	}
 
-	public abstract String getError();
+	protected TLC4BException(Throwable cause) {
+		super(cause);
+	}
 
+	public abstract String getError();
 }

src/main/java/de/tlc4b/exceptions/TLC4BIOException.java

 package de.tlc4b.exceptions;
 
 public class TLC4BIOException extends TLC4BException {
+	public TLC4BIOException(String message) {
+		super(message);
+	}
+
+	public TLC4BIOException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public TLC4BIOException(String e) {
-		super(e);
+	public TLC4BIOException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override
 	public String getError() {
 		return "I/O Error";
 	}
-
 }

src/main/java/de/tlc4b/exceptions/TranslationException.java

 package de.tlc4b.exceptions;
 
 public class TranslationException extends TLC4BException {
+	public TranslationException(String message) {
+		super(message);
+	}
+
+	public TranslationException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public TranslationException(String e) {
-		super(e);
+	public TranslationException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override
 	public String getError() {
 		return "TranslationError";
 	}
-
 }

src/main/java/de/tlc4b/exceptions/TypeErrorException.java

 package de.tlc4b.exceptions;
 
 public class TypeErrorException extends TLC4BException {
+	public TypeErrorException(String message) {
+		super(message);
+	}
+
+	public TypeErrorException(String message, Throwable cause) {
+		super(message, cause);
+	}
 
-	public TypeErrorException(String e) {
-		super(e);
+	public TypeErrorException(Throwable cause) {
+		super(cause);
 	}
 
 	@Override