4344454647484950515253
ex.printStackTrace(System.err); } } // Add shutdown listener: lifecycle.registerShutdownListener(new Shutdown() { @Override public void onShutdown() { try { save(HistoryManager.DEFAULT_FILE); }