public void removeScriptFinishedListener(ScriptExecutionListener l){
  m_FinishedListeners.remove(l);
}

public void removeScriptFinishedListener ( ScriptExecutionListener l ) { m_FinishedListeners . remove ( l ) ; }
removes the given listener from its internal list .
