if (m_format != null) { InstanceEvent e = new InstanceEvent(this, m_format); dsl.acceptInstance(e); }
  public synchronized void addInstanceListener(InstanceListener dsl) {    m_instanceListeners.addElement(dsl);  }