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

Es werden keine Dateien, Tests oder Einstiegspunkte genannt. Kläre zunächst, ob die angeforderte Änderung die Einführung von JSpecify für Nullbarkeit oder die Migration von javax zu jakarta ist, und ermittle dann den betroffenen Java-Code und die Abhängigkeiten; was als abgeschlossen gilt, sollte durch die ausgewählte Migration und ihre Validierung definiert werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.