this.listeners.remove(l);
}
private void notifyListeners(int oldSize) {
for (int i = 0; i < this.listeners.size(); i++) {
ListDataListener ldl = this.listeners.get(i);
ldl.contentsChanged(new ListDataEvent(this,
ListDataEvent.INTERVAL_REMOVED, 0, oldSize));
ldl.contentsChanged(new ListDataEvent(this,
ListDataEvent.INTERVAL_ADDED, 0, this.filtered.size()));
}
}