Description：

• Nullness properties and markers：引用类型可表达nullness，Foo!是null-restricted，Foo?是nullable，默认Foo的nullness是unspecified。数组类型和参数化类型也可有nullness标记，未来可能有更方便的表达方式。
• Field and array initialization：Java 中大多数变量使用前需初始化，传统上字段和数组组件有特殊处理，默认值为null，但对于null-restricted的字段和数组组件，必须在读取前初始化，有多种初始化方式。
• Expression nullness and conversions：Java 编译器负责确定表达式的nullness，nullness conversion允许表达式在不同nullness间转换，有宽化和窄化转换，将int装箱和Integer拆箱的转换也受影响，直接将null字面量转换为null-restricted类型是编译时错误。
• Run-time null checking：运行时，null值进行窄化nullness转换到null-restricted类型会抛出NullPointerException，一些窄化转换在源代码中不明显但在运行时会发生。
• Nullness of type variables：类型变量类型可表达nullness，T!是null-restricted，T?是nullable，类型参数的nullness会影响 API 的替换nullness，但在泛型 API 的擦除实现中不能强制执行null限制。
• Type arguments and bounds：类型参数可表达nullness，unchecked nullness conversions允许修改类型参数的nullness，可能导致警告，类型变量声明或通配符的边界也可有nullness标记。
• Method overriding and type argument inference：确定方法是否有相同签名时忽略nullness，方法重写时返回类型需通过加宽引用转换等可转换，泛型方法中类型参数的nullness影响返回类型的推断。
• Compiler warnings：使类型为null-restricted可能导致编译时错误，如字段或数组未初始化或尝试将null字面量转换为该类型，也可能有其他导致警告的情况。
• Compilation & class file representation：大多数null标记在class文件中被擦除，Signature属性可包含nullness标记，NullRestricted属性可指示字段不允许null值，anewarray指令不支持null-restricted数组创建。
• Core reflection：没有Foo!.class或Foo?.class字面量，有新的RuntimeTypeAPI描述运行时数组和字段存储检查的类型，Field和ArrayAPI也有相关支持。
• Supplementary changes：传统反序列化与null-restricted字段和数组不兼容，javadoc生成的文档将包含nullness标记，java.lang.reflect.Type和javax.lang.modelAPI将在类型表示中编码nullness。