Remove references to frog; rename our old json compilation server.

editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java

Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java	(revision 11103)
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/DartCore.java	(working copy)
@@ -14,7 +14,6 @@
 package com.google.dart.tools.core;
 
 import com.google.dart.tools.core.analysis.index.AnalysisIndexManager;
-import com.google.dart.tools.core.frog.FrogManager;
 import com.google.dart.tools.core.internal.MessageConsoleImpl;
 import com.google.dart.tools.core.internal.builder.RootArtifactProvider;
 import com.google.dart.tools.core.internal.directoryset.DirectorySetManager;
@@ -903,10 +902,10 @@
   }
 
   /**
-   * Use frog if sdk is present
+   * Use dart2js if the SDK is present.
    */
-  public boolean getCompileWithFrog() {
-    return DartSdk.isInstalled();
+  public boolean getCompileWithDart2JS() {
+    return DartSdkManager.getManager().hasSdk();
   }
 
   /**
@@ -964,7 +963,6 @@
       AnalysisIndexManager.stopServerAndIndexing();
       DartModelManager.shutdown();
       RootArtifactProvider.shutdown();
-      FrogManager.shutdown();
 
       if (DartCoreDebug.METRICS) {
         StringWriter writer = new StringWriter();