Migrate RevisionStatement to JDT annotations