Migrating to Eclipse JDT 4.24 from 4.23