void addExecutionListener(ScriptExecutionListener l) {
		if (executionListeners == null)
			executionListeners = new ArrayList<ScriptExecutionListener>();
		if (!executionListeners.contains(l))
			executionListeners.add(l);
	}