Fixing exhaustiveness warnings.

ClassfileAnnotArg becoming sealed brought tidings of not being
exhaustive.
Merge pull request #2747 from paulp/pr/warnings

Fixing exhaustiveness warnings.