| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExtractLocalVariableFeedback.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExtractLocalVariableFeedback.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExtractLocalVariableFeedback.java
|
| index e4cdd433430f74739314c4eb9e96e4ae308f9909..8dc8afc3dcf34f63597e2db05a944e50bfff3485 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExtractLocalVariableFeedback.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExtractLocalVariableFeedback.java
|
| @@ -133,17 +133,17 @@ public class ExtractLocalVariableFeedback extends RefactoringFeedback {
|
| public JsonObject toJson() {
|
| JsonObject jsonObject = new JsonObject();
|
| JsonArray jsonArrayNames = new JsonArray();
|
| - for(String elt : names) {
|
| + for (String elt : names) {
|
| jsonArrayNames.add(new JsonPrimitive(elt));
|
| }
|
| jsonObject.add("names", jsonArrayNames);
|
| JsonArray jsonArrayOffsets = new JsonArray();
|
| - for(int elt : offsets) {
|
| + for (int elt : offsets) {
|
| jsonArrayOffsets.add(new JsonPrimitive(elt));
|
| }
|
| jsonObject.add("offsets", jsonArrayOffsets);
|
| JsonArray jsonArrayLengths = new JsonArray();
|
| - for(int elt : lengths) {
|
| + for (int elt : lengths) {
|
| jsonArrayLengths.add(new JsonPrimitive(elt));
|
| }
|
| jsonObject.add("lengths", jsonArrayLengths);
|
|
|