}
} else if (name.equals("themeDefinition")) {
// Process all the children.
processThemePropertyChildren(element);
} else if (name.equals("choiceType")) {
ChoiceType choiceType = definitionsFactory.createChoiceType();
TypeList typeList = new TypeList();
pushObject(choiceType);
pushObject(typeList);
processThemePropertyChildren(element);
popObject();
popObject();
Iterator it = typeList.getList().iterator();
while (it.hasNext()) {
choiceType.addType((Type) it.next());
}
storeType(choiceType);
} else if (name.equals("pairType")) {
PairType pairType = definitionsFactory.createPairType();