public void removeSourceListener(SourceListener l) {
   sourceListeners.remove(l);
 }