catch ( Throwable t )
{
t.printStackTrace();
msgLog.logMessage( "Reevaluation ended in unknown exception " + t
+ " so shutting down", true );
<BUG>shutdown();
if ( t instanceof RuntimeException )</BUG>
{
throw (RuntimeException) t;
}

catch ( Throwable t )
{
t.printStackTrace();
msgLog.logMessage( "Reevaluation ended in unknown exception " + t
+ " so shutting down", true );
shutdown( t instanceof RuntimeException ? (RuntimeException) t : new RuntimeException( t ) );
if ( t instanceof RuntimeException )
{
throw (RuntimeException) t;
}
