public void downloadCompleted(DownloadEvent e) {
		File src = UpdateManager.getPackFile();
		if (src == null || !src.exists())
			return;
		if (UpdateManager.unpack()) {
			src.deleteOnExit();
			restart = true;
			dispatchEvent(new WindowEvent(this, WindowEvent.WINDOW_CLOSING));
		}
	}