Recognizing new annotation structures in old code