Reving the plugin version number
diff --git a/ant/org.eclipse.ant.ui/plugin.xml b/ant/org.eclipse.ant.ui/plugin.xml
index 335bcb8..4a26dca 100644
--- a/ant/org.eclipse.ant.ui/plugin.xml
+++ b/ant/org.eclipse.ant.ui/plugin.xml
@@ -3,7 +3,7 @@
 <plugin
    id="org.eclipse.ant.ui"
    name="%pluginName"
-   version="3.0.1"
+   version="3.0.2"
    provider-name="%providerName"
    class="org.eclipse.ant.internal.ui.model.AntUIPlugin">