Migrating to Eclipse JDT 4.17 from 4.16