// Upstream version (this is a clean-room reimplementation of its interface): | |
// http://svn.code.sf.net/p/jmlspecs/code/JMLAnnotations/trunk/src/org/jmlspecs/annotation/Nullable.java | |
package org.jmlspecs.annotation; | |
import java.lang.annotation.Documented; | |
import java.lang.annotation.Retention; | |
import java.lang.annotation.RetentionPolicy; | |
@Documented | |
@Retention(RetentionPolicy.RUNTIME) | |
public @interface Nullable {} |