if (listeners == null) listeners = new ArrayList();
if (listeners == null) listeners = new ArrayList(1);
  public void addPropertyListener(PropertyListener l) {    if (listeners == null) listeners = new ArrayList();    listeners.add(l);  }