JVM/Java: Null-Restricted and Nullable Types