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. :)

No se nombran archivos, pruebas ni puntos de entrada. Primero aclara si el cambio solicitado consiste en adoptar JSpecify para la nulabilidad o en migrar de javax a jakarta; después, localiza el código Java y las dependencias afectados. La definición de terminado debe establecerse mediante la migración seleccionada y su validación.

Escrito por el modelo de indexación a partir del texto del issue.