rls.removeElement(rl);
}
protected void processEvent(EventObject eo) {
Vector rls = null;
ResourceListener rl;
synchronized(this) {
if((this.rls != null) && (eo instanceof ResourceChangeEvent )) {
rls = (Vector) this.rls.clone();
} else {
return;
}
}
for(int i=0; i<rls.size(); i++) {
rl = (ResourceListener) rls.elementAt(i);
rl.resourceChanged((ResourceChangeEvent)eo);
}
}