minor changes in java doc