Re: RFR: 4660158: TTY: NumberFormatException while trying to set values by 'set' command

[Alan Bateman]

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.