Migrating to Eclipse JDT 4.12 from 4.11