java doc tweak