private void notifyExecution(String description) {
		ScriptExecutionEvent e = new ScriptExecutionEvent(this, description);
		if (executionListeners != null) {
			for (ScriptExecutionListener x : executionListeners)
				x.scriptExecuted(e);
		}
	}