博通发布了Spring Boot 3.5，并计划于2025年11月推出Spring Framework 7.0和Spring Boot 4.0。Java的空安全性受到关注，JSpecify倡议为Java静态分析提供标准注解。Spring Boot 4.0将支持JSpecify和AOT缓存，以加速应用启动，同时更新的支持政策将简化版本升级和支持时间。

Spring应用的空安全性通过JSpecify和NullAway得到了增强。自2017年引入空安全支持以来，Spring团队致力于减少空指针异常。JSpecify提供注解和规范，确保Java应用的空安全性，并在IDE和构建过程中进行一致性检查。Spring Framework 7已全面采用JSpecify，未来将提供更安全的API。

JSpecify 1.0.0已发布，旨在定义JVM语言中常用的注解类型，以改善静态分析和语言互操作性。该版本主要关注使用类型注解来指示静态类型的可空性状态。该项目的目标是统一不同项目对于空值的处理方式，并提供可用的声明性、使用场景的空值感知。

本周Java回顾包括JDK 23进入第二阶段，Payara平台发布，Graal Development Kit for Micronaut 4.5.0，JSpecify 1.0.0，MicroProfile 7.0-RC1，Open Liberty 24.0.0.7，Oracle关键补丁更新，JEP 472晋升为JDK 24目标，限制使用不安全的JNI，多个版本的JDK发布，Spring、Payara、Quarkus、Open Liberty等项目有新版本发布，MicroProfile 7.0的第一个候选版本发布，Eclipse Vert.x 4.5.9、Apache Tomcat 10.1.26、JHipster Lite 1.13.0和1.12.0、JetBrains Ktor 3.0.0、Infinispan 15.1.0、Testcontainers for Java 1.20.0、JDKMon 21.0.5和Jox 0.3.0等项目有新版本发布。