else if (localName.equals(PRODUCTION_ELEMENT))
{
Production production = (Production) stack.pop();
ProductionList productions = (ProductionList) stack.peek();
productions.addProduction(production);
}
else if (localName.equals(NONTERMINALSYMBOL_ELEMENT))
{
Symbol ntsymbol = (Symbol) stack.pop();
Production production = (Production) stack.peek();