java doc fixes