Initial factory constructors for generated objects in Java server.

editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java

Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
index 3c95d8462df8c35e11708516294d53468f1bb56b..17aef534c789491b4f834da4820c1b2a52282d86 100644
--- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
+++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/NavigationRegion.java
@@ -19,10 +19,15 @@ package com.google.dart.server.generated.types;
 import java.util.Arrays;
 import java.util.List;
 import java.util.Map;
+import com.google.common.collect.Lists;
+import com.google.dart.server.utilities.general.JsonUtilities;
 import com.google.dart.server.utilities.general.ObjectUtilities;
 import com.google.gson.JsonArray;
+import com.google.gson.JsonElement;
 import com.google.gson.JsonObject;
 import com.google.gson.JsonPrimitive;
+import java.util.ArrayList;
+import java.util.Iterator;
 import org.apache.commons.lang3.StringUtils;
 
 /**
@@ -33,11 +38,10 @@ import org.apache.commons.lang3.StringUtils;
 @SuppressWarnings("unused")
 public class NavigationRegion {
 
-  /**
-   * An empty array of {@link NavigationRegion}s.
-   */
   public static final NavigationRegion[] EMPTY_ARRAY = new NavigationRegion[0];
 
+  public static final List<NavigationRegion> EMPTY_LIST = Lists.newArrayList();
+
   /**
    * The offset of the region from which the user can navigate.
    */
@@ -75,6 +79,25 @@ public class NavigationRegion {
     return false;
   }
 
+  public static NavigationRegion fromJson(JsonObject jsonObject) {
+    Integer offset = jsonObject.get("offset").getAsInt();
+    Integer length = jsonObject.get("length").getAsInt();
+    List<Element> targets = Element.fromJsonArray(jsonObject.get("targets").getAsJsonArray());
+    return new NavigationRegion(offset, length, targets);
+  }
+
+  public static List<NavigationRegion> fromJsonArray(JsonArray jsonArray) {
+    if (jsonArray == null) {
+      return EMPTY_LIST;
+    }
+    ArrayList<NavigationRegion> list = new ArrayList<NavigationRegion>(jsonArray.size());
+    Iterator<JsonElement> iterator = jsonArray.iterator();
+    while (iterator.hasNext()) {
+      list.add(fromJson(iterator.next().getAsJsonObject()));
+    }
+    return list;
+  }
+
   /**
    * The length of the region from which the user can navigate.
    */