plugins/IntentionPowerPak/test/com/siyeh/ipp/exceptions/catchToThrows/ExistingThrows.java

abstract class C {
  static class E1 extends Exception { }

  abstract void f() throws E1;

  void m() throws E1 {
    try {
      f();
    } catch<caret> (E1 ignore) {
    }
  }
}