Fixes and minor improvements of Java API documentation