Migrating to Eclipse JDT 4.20 from 4.19