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