public JFrame getToolFrame(String toolTitle, String societyName) { String newTitle = toolTitle + ": " + societyName;
public JFrame getToolFrame(String toolTitle) {
  public JFrame getToolFrame(String toolTitle, String societyName) {    String newTitle = toolTitle + ": " + societyName;    Enumeration titles = titleToFrame.keys();    while (titles.hasMoreElements()) {      String title = (String)titles.nextElement();      if (title.startsWith(toolTitle)) {	JFrame frame = (JFrame)titleToFrame.get(title);	if (title.equals(newTitle))	  return frame;	else {	  // rename frame by removing and adding	  titleToFrame.remove(title);	  titleToFrame.put(newTitle, frame);	  frame.setTitle(newTitle);	  setChanged();	  notifyObservers(new Event(frame, newTitle, Event.CHANGED, title));	  return frame;	}      }    }      return null;  }