public final void addPropertyChangeListener(java.beans.PropertyChangeListener l) { del.addPropertyChangeListener(l); }