test/tools/javac/generics/wildcards/ContraArg.java

*** 25,35 ****
   * @test
   * @bug 4872698
   * @summary generics: incorrect ambiguity error with super-bouded wildcards
   * @author gafter
   *
!  * @compile -source 1.5 ContraArg.java
   */
  
  class ContraArg {
      void f(java.util.List<? super Integer> l) {
          l.add(new Integer(3));
--- 25,35 ----
   * @test
   * @bug 4872698
   * @summary generics: incorrect ambiguity error with super-bouded wildcards
   * @author gafter
   *
!  * @compile  ContraArg.java
   */
  
  class ContraArg {
      void f(java.util.List<? super Integer> l) {
          l.add(new Integer(3));