package de.tla2b.exceptions; @SuppressWarnings("serial") public abstract class TLA2BException extends Exception{ public TLA2BException(String e){ super(e); } }