test/langtools/tools/javac/mixedTarget/ExtendCovariant2.java

*** 25,35 ****
   * @test
   * @bug 5009712
   * @summary Ensure Covariant Return Type allowed in minimum supported version
   * @author gafter
   *
-  * @compile -source 1.6 ExtendCovariant2.java
   * @compile                  ExtendCovariant2.java
   */
  
  /**
   * java.io.PrintStream java.io.PrintStream.append(char)
--- 25,34 ----
*** 38,48 ****
   *
   * java.lang.Appendable java.lang.Appendable.append(char)
   *
   * With JDK 1.5, a Covariant Return is allowed so check that is the case.
   *
!  **/
  public class ExtendCovariant2 extends java.io.PrintStream {
      ExtendCovariant2() throws java.io.IOException {
          super("");
      }
      public java.io.PrintStream append(char c) {
--- 37,47 ----
   *
   * java.lang.Appendable java.lang.Appendable.append(char)
   *
   * With JDK 1.5, a Covariant Return is allowed so check that is the case.
   *
!  */
  public class ExtendCovariant2 extends java.io.PrintStream {
      ExtendCovariant2() throws java.io.IOException {
          super("");
      }
      public java.io.PrintStream append(char c) {