minor changes java docs