java doc fix