Migrating to Eclipse JDT 4.23 from 4.22