Report NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT as CTEC.

editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java

Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
index 83f8eeebc82133cec1b8ef6ccac7e1e47947da33..ad52959213ee9f04036f235acf8b5c0031a7d850 100644
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
@@ -1248,40 +1248,6 @@ public class StaticWarningCodeTest extends ResolverTestCase {
     verify(source);
   }
 
-  public void test_noDefaultSuperConstructorExplicit() throws Exception {
-    Source source = addSource(createSource(//
-        "class A {",
-        "  A(p);",
-        "}",
-        "class B extends A {",
-        "  B() {}",
-        "}"));
-    resolve(source);
-    assertErrors(StaticWarningCode.NO_DEFAULT_SUPER_CONSTRUCTOR_EXPLICIT);
-    verify(source);
-  }
-
-  public void test_noDefaultSuperConstructorImplicit_superHasParameters() throws Exception {
-    Source source = addSource(createSource(//
-        "class A {",
-        "  A(p);",
-        "}",
-        "class B extends A {",
-        "}"));
-    resolve(source);
-    assertErrors(StaticWarningCode.NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT);
-    verify(source);
-  }
-
-  public void test_noDefaultSuperConstructorImplicit_superOnlyNamed() throws Exception {
-    Source source = addSource(createSource(//
-        "class A { A.named() {} }",
-        "class B extends A {}"));
-    resolve(source);
-    assertErrors(StaticWarningCode.NO_DEFAULT_SUPER_CONSTRUCTOR_IMPLICIT);
-    verify(source);
-  }
-
   public void test_nonAbstractClassInheritsAbstractMemberFivePlus() throws Exception {
     Source source = addSource(createSource(//
         "abstract class A {",