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

ファイル、テスト、エントリーポイントのいずれも指定されていません。まず、要求された変更が nullness のために JSpecify を導入することなのか、javax から jakarta への移行なのかを明確にし、その後、影響を受ける Java コードと依存関係を特定してください。完了の定義は、選択した移行とその検証によって定めるべきです。

索引モデルが issue の本文から書いたものです。