Use JSpecify nullability annotations

[jwharm]

Java-GI currently uses Jetbrains annotations for nullability hints. JSpecify annotations seem to be a real standard that has wider support.