private void quit() {
		if (!askForSave()) {
			return;
		}
		
		if (dic != null) {
			try {
				dic.cleanup();
			} catch (IOException ex) {
				showError(Localization.getInstance().get("cleanupError"), ex);
			}
		}
		System.exit(0);
	}