Annotations for developing Koans in Java