A lot of projects are migrating from various annotations to JSpecify e.g. - https://github.com/spring-projects/spring-framework/issues/28797 - https://github.com/jspecify/jspecify/issues/239 - https://github.com/google/guava/issues/2960
