public void run() {
				view.repaint();
				if (!getAsTask())
					model.notifyModelListeners(new ModelEvent(model, ModelEvent.SCRIPT_END));
				if (model.initializationScriptToRun) {
					model.setInitializationScriptToRun(false);
				} else {
					notifyChange();
				}
			}