Migrating to Eclipse JDT 4.31 from 4.30