Small java doc change