public void shutdown(boolean isIgnoringPreferenceSaves){
  shutdownWithoutExit(isIgnoringPreferenceSaves);
  System.exit(0);
}

public void shutdown ( boolean isIgnoringPreferenceSaves ) { shutdownWithoutExit ( isIgnoringPreferenceSaves ) ; System . exit ( 0 ) ; }
cleanly shuts down raptor . please use this method instead of system . exit !
