Writing annotations for logic java