Bug#1143502: RFP: libjspecify-java -- Tool-independent Java annotations for powering static analysis checks of Java code.

Package: wnpp
Severity: wishlist

* Package name    : libjspecify-java
   Version         : 1.0.1
   Upstream Contact: N/A
* URL             : https://jspecify.dev
* License         : ASL2
   Programming Lang: Java
   Description     : Tool-independent Java annotations for powering 
static analysis checks of Java code.

An artifact of well-specified annotations to power static analysis 
checks and JVM language interop. Developed by consensus of the partner

organizations listed at our main web site, https://jspecify.org.

Our current focus is on annotations for nullness analysis.

This project has become the standard for Java nullability annotations and
is widely used by a large and growing number of Java libraries and
applications. It will likely be needed by existing Debian packages as
they are upgraded to newer upstream versions as well as new packages.

I am not volunteering to be a maintainer at this time and am hoping
someone else will package it. I eventually hope to submit
https://github.com/bitcoinj/secp256k1-jdk as a Debian package and at
that time will need JSpecify.

JSpecify solves many longstanding issuew with other nullability
annotation libraries and, more importantly, it has been broadly adopted
as the Java community has finally reached widespread agreement on a
standard nullability library. It does not change often, so once packaged
it should be easy to maintain.