org.jspecify » jspecify
An artifact of well-named and well-specified annotations to power static analysis checks