Use JSpecify static analysis annotations

[joshuajaharwood]

• Bump spotless plugin to latest
• Only use JSpecify annotations, remove Jetbrains and JSR-305 dependencies
• Make all usages compliant with annotation method contracts

[lessthanoptimal]

Thanks for the PR. Could you resolve the merge conflicts. That is likely caused by the recent update to Java 25 and several libraries being updated. If this goes well I'll look into updating updating other libraries that I maintain.

Based on a conversation with GPT, it looks like we might need to set -XDaddTypeAnnotationsToSymbol=true to true because the byte code generated is for Java 11. Could you investigate that too?

[joshuajaharwood]

I will get to this eventually, I'm just absolutely hammered with work right now!

[lessthanoptimal]

I can relate. No problem!