public void shutdownMinecraftApplet() {
try {
statFileWriter.func_27175_b();
statFileWriter.syncStats();
if (mcApplet != null) {
mcApplet.clearApplet();
}
try {
if (downloadResourcesThread != null) {
downloadResourcesThread.closeMinecraft();
}
} catch (Exception exception) {
}
System.out.println("Stopping!");
try {
changeWorld1(null);
} catch (Throwable throwable) {
}
try {
GLAllocation.deleteTexturesAndDisplayLists();
} catch (Throwable throwable1) {
}
sndManager.closeMinecraft();
Mouse.destroy();
Keyboard.destroy();
} finally {
Display.destroy();
if (!hasCrashed) {
System.exit(0);
}
}
System.gc();
}
