Make more use of generated code in Java analysis server.

editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/HighlightRegionImpl.java

Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/HighlightRegionImpl.java
diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/HighlightRegionImpl.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/HighlightRegionImpl.java
deleted file mode 100644
index 759eb456c1f1b4b35be41c30c766cd1d6b52987e..0000000000000000000000000000000000000000
--- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/internal/HighlightRegionImpl.java
+++ /dev/null
@@ -1,50 +0,0 @@
-/*
- * Copyright (c) 2014, the Dart project authors.
- * 
- * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
- * in compliance with the License. You may obtain a copy of the License at
- * 
- * http://www.eclipse.org/legal/epl-v10.html
- * 
- * Unless required by applicable law or agreed to in writing, software distributed under the License
- * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
- * or implied. See the License for the specific language governing permissions and limitations under
- * the License.
- */
-
-package com.google.dart.server.internal;
-
-import com.google.dart.server.HighlightRegion;
-import com.google.dart.server.HighlightType;
-
-/**
- * A concrete implementation of {@link HighlightRegion}.
- * 
- * @coverage dart.server
- */
-public class HighlightRegionImpl extends SourceRegionImpl implements HighlightRegion {
-  private HighlightType type;
-
-  public HighlightRegionImpl(int offset, int length, HighlightType type) {
-    super(offset, length);
-    this.type = type;
-  }
-
-  @Override
-  public HighlightType getType() {
-    return type;
-  }
-
-  @Override
-  public String toString() {
-    StringBuilder builder = new StringBuilder();
-    builder.append("[offset=");
-    builder.append(getOffset());
-    builder.append(", length=");
-    builder.append(getLength());
-    builder.append(", type=");
-    builder.append(type);
-    builder.append("]");
-    return builder.toString();
-  }
-}