version 3.0.1 introduce Check.THROW_IAE to throw IllegalArgumentException instead of NullPointerException version 3.0.0 initial release with support for jspecify annotations