Adopt `JSpecify` for nullness

Since `javax` is deprecated. We should migrate from `javax` to `jakarta`.

This is not necessary. But I'd love to contribute if you want. :)

Aucun fichier, test ou point d’entrée n’est nommé. Commencez par déterminer si la modification demandée consiste à adopter JSpecify pour la nullabilité ou à migrer de javax vers jakarta, puis localisez le code Java et les dépendances concernés ; la définition de l’achèvement doit être établie par la migration sélectionnée et sa validation.

Rédigé par le modèle d'indexation à partir du texte de l'issue.