updated version to 3.0.2.5

platform/org.eclipse.platform/plugin.properties

diff --git a/platform/org.eclipse.platform/plugin.properties b/platform/org.eclipse.platform/plugin.properties
index bdf42a6..1ce3ccf 100644
--- a/platform/org.eclipse.platform/plugin.properties
+++ b/platform/org.eclipse.platform/plugin.properties
@@ -14,7 +14,7 @@
 productName=Eclipse Platform
 productBlurb=Eclipse Platform\n\
 \n\
-Version: 3.0.2.4\n\
+Version: 3.0.2.5\n\
 Build id: {0}\n\
 \n\
 (c) Copyright Eclipse contributors and others 2000, 2005.  All rights reserved.\n\

platform/org.eclipse.platform/plugin.xml

diff --git a/platform/org.eclipse.platform/plugin.xml b/platform/org.eclipse.platform/plugin.xml
index 7c066fe..0e47b80 100644
--- a/platform/org.eclipse.platform/plugin.xml
+++ b/platform/org.eclipse.platform/plugin.xml
@@ -3,7 +3,7 @@
 <plugin
    id="org.eclipse.platform"
    name="%pluginName"
-   version="3.0.2.4"
+   version="3.0.2.5"
    provider-name="%providerName">
 
    <runtime>