// Shutdown hook
 public static void shutdown() {
   if (DebugContext.frontEnd != null) {
     frontEnd.onVmShutdown();
   }
 }