if (isExperimentInEditor(experiment)) return; if (!experiment.isEditable()) {  Object[] options = { "Edit", "View", "Copy", "Cancel" }; experiment = queryUser(experiment, options); if (experiment == null) return; }
  protected void runExperimentBuilder(Experiment experiment,                                       boolean alwaysNew) {    // if this experiment is being edited, then don't edit again    if (isExperimentInEditor(experiment))      return;    if (!experiment.isEditable()) {      // otherwise editability can be overwritten      Object[] options = { "Edit", "View", "Copy", "Cancel" };      experiment = queryUser(experiment, options);      if (experiment == null)        return;    }    // gray out the children of the experiment in the tree    // to avoid confusion while editing the experiment    organizer.removeChildren(experiment);    JFrame tool =      (JFrame)new ExperimentBuilder(this, experiment);    addTool(EXPERIMENT_BUILDER, experiment.getExperimentName(), tool);  }