For example, types with org.checkerframework.checker.nullness.qual.Nullable and javax.annotation.Nullable in Java are still treated as platform types, instead of simply nullable types.