Migrating to Eclipse JDT 4.13 from 4.12