default constructor in inner class

[Tom Tromey]

>>>>> "Erik" == Erik Poupaert <erik.poupaert@chello.be> writes:

Erik> SableCc defines an inner class which as no constructor:
Erik>     public static class State
Erik>     {
Erik> 		public final static State INITIAL = new State();
Erik>     }

Erik> GCJ complains about this, and requires me to modify the template
Erik> from which it is generated, and institute explicitly an empty
Erik> default constructor:

Erik> Should I submit a trouble ticket for this?

Yes, please do.
Thanks.

Tom