Java doc improvements