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

Không có tệp, bài kiểm thử hoặc điểm vào nào được nêu. Trước tiên, hãy làm rõ liệu thay đổi được yêu cầu là áp dụng JSpecify cho tính null hay di chuyển từ javax sang jakarta, sau đó xác định mã Java và các dependency bị ảnh hưởng; trạng thái hoàn tất cần được xác định bởi migration đã chọn và việc validation migration đó.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.