Migrating to Eclipse JDT 4.26 from 4.25