Spring 7 adds JSpecify annotations for null safety | Hacker News Reader