XPathType (XPathType... types) { final StringBuilder name = new StringBuilder(); for (XPathType type : types) { if (name.length() > 0) { name.append(", "); } name.append(type.getName()); } name.insert(0, "one of "); return new ChoiceType(types, name.toString()); }