1819202122232425262728
if (!askBeforeRestart || (userWantsToRestart())) { app.restart(); } } else { if (!askBeforeRestart || (userWantsToShutdown())) { app.exit(true); } } } private boolean userWantsToRestart() {