Index: dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java |
diff --git a/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java b/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java |
index 2a1b9fc7e26ad009ca4a72aa4661b3e35a415a84..8746c1e7a79d7c6510a169929c8ce801f6a742d7 100644 |
--- a/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java |
+++ b/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java |
@@ -290,11 +290,7 @@ public class DartToolsPlugin extends AbstractUIPlugin { |
return null; |
} |
- String version = bundle.getHeaders().get(Constants.BUNDLE_VERSION); |
- |
- version = version.replace(".r", "_r").replace(".qual", "_qual"); |
- |
- return version; |
+ return bundle.getHeaders().get(Constants.BUNDLE_VERSION); |
} |
public static IWorkspace getWorkspace() { |