public synchronized void update(String s) {
int size = listeners.size();
Verifier[] verifiers = VerifierFactory.getVerifiers();
int num_of_verifiers = verifiers.length;
cache.clear();
for (int i = 0; i < num_of_verifiers; i++) {
cache.add(verifiers[i].getClassName());
}
for (int i = 0; i < size; i++) {
ListDataEvent e =
new ListDataEvent(this, ListDataEvent.CONTENTS_CHANGED, 0, num_of_verifiers - 1);
((javax.swing.event.ListDataListener) (listeners.get(i))).contentsChanged(e);
}
}
public synchronized void removeListDataListener(javax.swing.event.ListDataListener l) {
listeners.remove(l);
}
public synchronized void addListDataListener(javax.swing.event.ListDataListener l) {
listeners.add(l);
}