Spring gRPC 1.0.0正式发布，现已在Maven Central上可用。该版本支持Spring Boot 4和Spring Framework 7，兼容Java 25，并保持Java 17基线，全面实现空安全性。

Spring REST Docs 4.0.0已发布，现可从Maven Central获取。此版本升级至Spring Framework 7和Jackson 3，提供全面的空安全性，欢迎贡献者参与。

Spring Data 2025.1.0正式发布，升级至Spring Framework 7和Jakarta EE 11，支持提前编译的存储库，增强空安全性，兼容Jackson 3，新增向量搜索方法，提升性能与代码质量。

在Java主导的环境中推广Kotlin的关键是赢得Java开发者的支持。通过展示Kotlin的空安全性、简洁的集合API和优雅的异常处理等优势，可以促进其采用。同时，提供培训、建立社区和耐心引导也是成功的关键。

Spring REST Docs 4.0.0-M1已在Maven Central发布，包含13项增强功能、文档改进和依赖升级，支持Spring Framework 7和Hibernate Validator 9，并通过JSpecify注解实现空安全性。

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

JetBrains与Spring团队加强合作，提升Kotlin在后端开发中的应用，重点包括增强空安全性、提供学习资源和加速反射库性能。Kotlin简化后端操作，促进模块化设计，已被多家公司广泛采用，推动开发效率和可维护性。

Kotlin和Java在Android开发中各有优缺点。Kotlin以简洁的语法、空安全性和谷歌的支持成为推荐语言，而Java成熟但冗长，适合维护旧项目。新项目建议使用Kotlin。

Kotlin因其简洁的语法、空安全性和与Java的良好互操作性而在开发者中迅速流行，尤其适合Android开发。它减少了代码行数，提高了可读性，降低了错误风险，并通过协程简化了异步编程。JetBrains的IDE支持进一步提升了开发效率，使Kotlin成为现代开发的首选语言。

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