Also solved for Java:

* https://jspecify.dev/docs/user-guide/

* https://openjdk.org/jeps/8303099