Gruppo: org.jspecify

JSpecify annotations

An artifact of well-named and well-specified annotations to power static analysis checks