Re: How to prefix all generated java class names?

[Lukas Eder]

> Fair enough for me :-)

Was that a "yes, let me implement that"? Or a "yes, I think the
current solution is good enough for me"? ;-)