| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| index 3a85c3980f31585a1b28703b47055b7affc17ec0..90de6f202f56706df9e62ea4da74141bb05fc912 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| @@ -111,13 +111,13 @@ public class SourceChange {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| builder.append("message=");
|
| - builder.append(message.toString() + ", ");
|
| + builder.append(message + ", ");
|
| builder.append("edits=");
|
| builder.append(StringUtils.join(edits, ", ") + ", ");
|
| builder.append("linkedEditGroups=");
|
| builder.append(StringUtils.join(linkedEditGroups, ", ") + ", ");
|
| builder.append("selection=");
|
| - builder.append(selection.toString() + ", ");
|
| + builder.append(selection);
|
| builder.append("]");
|
| return builder.toString();
|
| }
|
|
|