private void notifySourcepathChanged() {
   ArrayList<SourceListener> l = new ArrayList<SourceListener>(sourceListeners);
   SourcepathChangedEvent evt = new SourcepathChangedEvent(this);
   for (int i = 0; i < l.size(); i++) {
     l.get(i).sourcepathChanged(evt);
   }
 }