java doc corrected