Correct Java Doc