test/tools/javac/multicatch/model/ModelChecker.java

*** 21,31 ****
   * questions.
   */
  
  /*
   * @test
!  * @bug 6993963
   * @summary Project Coin: Use precise exception analysis for effectively final catch parameters
   * @library ../../lib
   * @build JavacTestingAbstractProcessor ModelChecker
   * @compile -processor ModelChecker Model01.java
   */
--- 21,31 ----
   * questions.
   */
  
  /*
   * @test
!  * @bug 6993963 7025809
   * @summary Project Coin: Use precise exception analysis for effectively final catch parameters
   * @library ../../lib
   * @build JavacTestingAbstractProcessor ModelChecker
   * @compile -processor ModelChecker Model01.java
   */
*** 105,115 ****
              throw new RuntimeException("Expected UnknownTypeException not thrown.");
          } catch (UnknownTypeException ute) {
              ; // Expected
          }
  
!         UnionType unionType = new SimpleTypeVisitor7<UnionType, Void>(){
              @Override
              protected UnionType defaultAction(TypeMirror e, Void p) {return null;}
  
              @Override
              public UnionType visitUnion(UnionType t, Void p) {return t;}
--- 105,115 ----
              throw new RuntimeException("Expected UnknownTypeException not thrown.");
          } catch (UnknownTypeException ute) {
              ; // Expected
          }
  
!         UnionType unionType = new SimpleTypeVisitor<UnionType, Void>(){
              @Override
              protected UnionType defaultAction(TypeMirror e, Void p) {return null;}
  
              @Override
              public UnionType visitUnion(UnionType t, Void p) {return t;}