Index: editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
index 18888f7710d4fd1f4efd27b9b493ac76df9a102c..e8b10476b89c86d7e468827a87f5cf231e2c6680 100644 |
--- a/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
+++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_core.dart |
@@ -456,8 +456,8 @@ class MapEntry<K, V> { |
} |
} |
-Set<MapEntry> getMapEntrySet(Map m) { |
- Set<MapEntry> result = new Set(); |
+Iterable<MapEntry> getMapEntrySet(Map m) { |
+ List<MapEntry> result = []; |
m.forEach((k, v) { |
result.add(new MapEntry(m, k, v)); |
}); |