Correct java notation