Inconsistency between javaprims.h and generated version

[Bryce McKinlay]

On Monday, Sep 22, 2003, at 11:43 Pacific/Auckland, Nathanael Nerode 
wrote:

> Regenerating javaprims.h using classes.pl gives this difference.
> Should these classes be listed in javaprims.h or not?

Yes they should. gcjh assumes that anything starting with java.lang, 
java.io, and java.util is defined in javaprims.h. This just means that 
nobody has regenerated it since adding those classes.

Regards

Bryce.