correct java doc