public class InternalException extends Exception {
  public InternalException() { super(); };
  public InternalException(String s) { super(s); };
}