Skip to content
  • Topics
  • Search
  • Language
    • English
    • Deutsch
    • Español
    • Français
    • 日本語
    • 한국어
    • Русский
    • 简体中文
    • Português do Brasil
    • Türkçe
Burger menu icon
  • IDEs

    • CLion
    • DataGrip
    • DataSpell
    • Fleet
    • GoLand
    • IntelliJ IDEA
    • PhpStorm
    • PyCharm
    • RustRover
    • Rider
    • RubyMine
    • WebStorm
  • Plugins & Services

    • Big Data Tools
    • Code With Me
    • JetBrains Platform
    • Scala
    • Toolbox App
    • Writerside
    • JetBrains AI
    • Grazie
    • Junie
    • JetBrains for Data
    • Kineto
  • Team Tools

    • Datalore
    • Space
    • TeamCity
    • Upsource
    • YouTrack
    • Hub
    • Qodana
    • CodeCanvas
    • Matter
  • .NET & Visual Studio

    • .NET Tools
    • ReSharper C++
  • Languages & Frameworks

    • Kotlin
    • Ktor
    • MPS
    • Amper
  • Education & Research

    • JetBrains Academy
    • Research
  • Company

    • Company Blog
    • Security
Idea logo

IntelliJ IDEA

IntelliJ IDEA – the Leading IDE for Professional Development in Java and Kotlin

Follow
  • Follow:
  • Linkedin Linkedin
  • Bluesky Bluesky
  • X X
  • Facebook Facebook
  • Youtube Youtube
  • RSS RSS
Download
  • All
  • News
  • Releases
  • Livestreams
  • Tips & Tricks
  • Early Access Program
  • Plugins

JSpecify

One Could Simply Add Nullability Check Support… Without Even Noticing It

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.

Andrei Kogun
Andrei Kogun
  • Privacy & Security
  • Terms of Use
  • Legal
  • Genuine tools
Language
  • English
  • Deutsch
  • Español
  • Français
  • 日本語
  • 한국어
  • Русский
  • 简体中文
  • Português do Brasil
  • Türkçe
  • Twitter
  • Facebook
  • Linkedin
  • Instagram
  • Youtube
  • RSS
  • Tiktok
Merchandise store iconMerchandise store
Copyright © 2000 JetBrains s.r.o.