Note: Here were some classes that were
- generated but
- checked in
The class JavaCharStream was different than the version I generated later (the checked-in version was all static).

see https://svn.ipd.kit.edu/trac/jplag/ticket/19#comment:1