CatchType.java

// exception java.lang.Exception has already been caught/ illegal catch type

import java.io.EOFException;
import java.io.IOException;
class Foo {
    void f() {
        try {
        } catch (Throwable t) {
        } catch (<error descr="Exception 'java.lang.Exception' has already been caught">Exception</error> e) {
        }
        try {
        } catch (RuntimeException e) {
        } catch (<error descr="Exception 'java.lang.NullPointerException' has already been caught">NullPointerException</error>  e) {
        }
        try {
            throw new EOFException();
        } catch (IOException e) {
        } catch (<error descr="Exception 'java.io.EOFException' has already been caught">EOFException</error>  e) {
        }

        try {
        }
        catch (Exception e) {
        }
        catch (<error descr="Exception 'java.lang.Exception' has already been caught">Exception</error> e) {
      
        }
    }


}