On 20/11/2013 13:58, Staffan Larsen wrote: > Thanks Alan! > > I’ll fix the copyright. Do you know if the javacc-generated files require copyright headers? > I wondering that too, it's probably safer to keep them. -Alan.