Method dispose

platform/java/example/Viewer.java:405–409

()

	}

	public void dispose() {
		doc.cancelSearch(null);
		doc.worker.stop();
		super.dispose();
	}

	public void keyPressed(KeyEvent e) {
	}