public void updateOpsetName(String old_name, String name) throws AutoException { OptionSet temp = this.findOpset(old_name); if (temp != null) { temp.setName(name); } }