I think you mean JSR-305 [1]. Even though the initiative died in committee, you can still use the reference implementation [2] and hundreds of thousands of proj

I think you mean JSR-305 [1]. Even though the initiative died in committee, you can still use the reference implementation [2] and hundreds of thousands of projects do so. Most static analysis tools and IDEs support it as well. JSpecify takes advantage of Java 8 features (e.g. annotations on generic type parameters), so it's strictly better, and I believe at least the IntelliJ IDEs support it. [1]: https://jcp.org/en/jsr/detail?id=305 https://jcp.org/en/jsr/detail?id=305 [2]: https://central.sonatype.com/artifact/com.google.code.findbugs/jsr305 https://central.sonatype.com/artifact/com.google.code.findbu...