Migrate nullness annotations to JDT