private void cleanup() { running = false; if(!updateOnly) { AL.destroy(); GPUProgramResource.destroyAll(); CL.destroy(); } JGEngine.disposeAll(); if(!updateOnly) { window.disposeWindow(); } try { game.saveProperties(); Log.finish(); } catch(Exception e) { e.printStackTrace(); } }