On 10/06/2013 16:42, Daniel Fuchs wrote: > : > > In ParserTable.java, I wonder whether it would be worth > returning a different constant for each different class. I could although I don't think they are used (and probably could be deleted). -Alan.