Migrate ietf-type-util to JDT annotations