org.jmlspecs.annotation
Annotation Type Nullable


@Retention(value=RUNTIME)
@Documented
public @interface Nullable