A type annotation on the 2nd type in a mulicatch with union type crashes javac.
....
catch(E1 | @A E2 e) {} // boom
...