Migrating to Eclipse JDT 4.16 from 4.15