Migrating to Eclipse JDT 4.33 from 4.32