Migrating to Eclipse JDT 4.32 from 4.31