doc/java tweaks