Java doc fixes