probably abandon this in favour of jflex
more on syntax highlighting