Migrating to Eclipse JDT 4.18 from 4.17