class ExecutionException extends Exception
{
  ExecutionException(String message) { super(message); }
}