if(log.isDebugEnabled()) { log.debug("NamedFrame: removing: " + s); }
  public void removeFrame(JFrame frame) {    //    String s = removeTitleColon(frame.getTitle());    String s = frame.getTitle();    if(log.isDebugEnabled()) {      log.debug("NamedFrame: removing: " + s);    }    titleToFrame.remove(s);    setChanged();    notifyObservers(new Event(frame, s, Event.REMOVED, null));  }