ajjava

No public datatype definitions in source file core/ajjava.h