Reworking for java notation