Nullness annotations are already usable. The JEP is for further integration into the type system.