Bug2.java

class Test {
  /**
   *  @exception IllegalStateException<caret>
   */
  public void foo() throws java.io.IOException, IllegalStateException {
  }
}