public void stop() {
		model.stop();
		view.navigator.setEnabled(true);
		EventQueue.invokeLater(new Runnable() {
			public void run() {
				runAction.setEnabled(true);
				stopAction.setEnabled(false);
			}
		});
	}