correcting java doc