Java doc corrected