Annotations and utility classes for ECLIPSE annotation-base null analysis
