Migrating to Eclipse JDT 4.19 from 4.18