A small XML lexer for java