BeginOfLine bol = new BeginOfLine();
stack.push(bol);
}
else if (localName.equals(ENDOFLINE_ELEMENT))
{
EndOfLine eol = new EndOfLine();
stack.push(eol);
}
else if (localName.equals(CHARACTERCLASS_ELEMENT))
{
CharacterClass characterclass = new CharacterClass();