// helper function private void readChoices(XMLElement element, ArrayList result) { Vector choices = element.getChildrenNamed("choice"); if (choices == null) return; result.clear(); Iterator choice_it = choices.iterator(); while (choice_it.hasNext()) { XMLElement choice = (XMLElement) choice_it.next(); String value = choice.getAttribute("value"); if (value != null) { List osconstraints = OsConstraint.getOsList(choice); if (OsConstraint.oneMatchesCurrentSystem(osconstraints)) { result.add(this.vs.substitute(value, "plain")); } } } }