increment plug-in version to 3.0.1
diff --git a/platform/org.eclipse.sdk/plugin.xml b/platform/org.eclipse.sdk/plugin.xml
index d9799dc..8cab96c 100644
--- a/platform/org.eclipse.sdk/plugin.xml
+++ b/platform/org.eclipse.sdk/plugin.xml
@@ -3,7 +3,7 @@
 <plugin
    id="org.eclipse.sdk"
    name="%pluginName"
-   version="3.0.0"
+   version="3.0.1"
    provider-name="%providerName">
 
    <requires>