public void runBuilder(ModifiableConfigurableComponent cc, boolean alwaysNew, boolean openForEditing) { if (!cc.isEditable() && openForEditing) {
public void runBuilder(ModifiableConfigurableComponent cc, boolean alwaysNew) { if (!cc.isEditable()) {
  public void runBuilder(ModifiableConfigurableComponent cc, boolean alwaysNew,			 boolean openForEditing) {    if (!cc.isEditable() && openForEditing) {      Object[] options = { "Edit", "View", "Copy", "Cancel" };      int result =         JOptionPane.showOptionDialog(this,                                     cc.getShortName() + " has been run",                                     "Not Editable",                                     JOptionPane.DEFAULT_OPTION,                                     JOptionPane.WARNING_MESSAGE,                                     null,                                     options,                                     options[0]);      if (result == 0) {        // edit it anyway        cc.setEditable(true);      } else if (result == 2) {        // copy it        cc = organizer.copyComponent(cc, null);      } else if (result != 1)        // user cancelled        return;    }    // note that cc is guaranteed non-null when this is called    Class[] paramClasses = { ModifiableConfigurableComponent.class };    Object[] params = new Object[1];    params[0] = cc;    createTool("Configuration Builder", PropertyBuilder.class, 	       alwaysNew, cc.getShortName(), (ModifiableConfigurableComponent)cc,	       paramClasses, params);  }