third-party/java9-annotations/module-info.java

module java9_annotations {
    exports org.jspecify.annotations;
    exports org.jspecify.nullness;
    // add packages needed to export
}