langtools/test/tools/javac/T6993301.java
Fri, 22 Oct 2010 14:04:33 -0700 jjg 6993301: catch parameters do not have correct kind (i.e. ElementKind.EXCEPTION_PARAMETER)
less more (0) tip