kaffe/tools/gjdoc/javalib/rng
