* Notify all the FilesTypeListeners on actions taken in it, by creating a
* FilesTypeEvent and sending it using the filesNamesChanged method to all
* of the listeners.
*/
public void notifyListeners (String working, String builtIn/*, String composite*/) {
FilesTypeEvent event = new FilesTypeEvent(this,working, builtIn, null/*, composite*/);
for(int i=0;i<listeners.size();i++) {
((FilesTypeListener)listeners.elementAt(i)).filesNamesChanged(event);
}
}