IntelliJ IDEA – the Leading IDE for Professional Development in Java and Kotlin
In IntelliJ IDEA 2025.3, JSpecify becomes the preferred nullability source. When it’s present on the classpath, the IDE automatically recognizes and even generates JSpecify annotations via quick-fixes and refactorings.