jspecify

完整规格化注解产物，用于驱动静态分析检查，包含空值（nullness）分析。