Migrating to Eclipse JDT 4.11 from 4.10