feat: JSpecify annotations for starters module

[yuluo-yx]

• For Migrate to JSpecify annotations for nullability constraints #4263

只改了 starter 模块，有下面几个问题：

1. google errorprone 高版本需要 jdk21+，classfile 61 和 65 文件版本不匹配；target 版本是 17，编译是 jdk21
2. 低版本不能和 uber nullway 很好配合用；
3. 修改量比较多，可以用 mvn clean compile -Dmaven.test.skip=true 本地编译；
4. 对泛型目前不是很友好，特别是继承了泛型方法时。

@uuuyuqi

[uuuyuqi]

看下来应该问题不大，不过编译时 jdk 版本是不是需要从 17 升级到 21？可能会增加贡献门槛

[yuluo-yx]

看下来应该问题不大，不过编译时 jdk 版本是不是需要从 17 升级到 21？可能会增加贡献门槛

是的，这是一个限制，主要是因为 google errorprone 对 jdk 有要求

[uuuyuqi]

@yuluo-yx 空了再看下评论，没其他问题的话我就合并了~