return changedOptions; } else { System.out.println("Root node of game options file is incorrectly named. Name should be 'options' but name is '" + optionsNode.getName() + "'"); return changedOptions; }
    public Vector loadOptions(String password) {      ParsedXML root = null;      InputStream is = null;      Vector changedOptions = new Vector();      try {        is = new FileInputStream(new File(GAME_OPTIONS_FILE_NAME));      } catch (FileNotFoundException e) {        return changedOptions;      }      try {        root = TinyParser.parseXML(is);      } catch (ParseException e) {        System.out.println("Error parsing game options xml file.");  //$NON-NLS-1$        e.printStackTrace(System.out);      }          Enumeration rootChildren = root.elements();      ParsedXML optionsNode = (ParsedXML)rootChildren.nextElement();            if ( optionsNode.getName().equals("options") ) { //$NON-NLS-1$        Enumeration children = optionsNode.elements();                while (children.hasMoreElements()) {          IOption option = parseOptionNode((ParsedXML)children.nextElement());                    if ( null != option )            changedOptions.addElement(option);        }                return changedOptions;      } else {        System.out.println("Root node of game options file is incorrectly named. Name should be 'options' but name is '" + optionsNode.getName() + "'"); //$NON-NLS-1$ //$NON-NLS-2$        return changedOptions;      }    }