Revert "Bug 535193 - Update product version number to 4.9 across build scripts"

This reverts commit 9746107432f6f852f0ee90215d08dc53ae5c8eb3.

Change-Id: Ibddb7e2c358448957bb32d743612070ac69b19dc
diff --git a/platform/org.eclipse.platform/about.mappings b/platform/org.eclipse.platform/about.mappings
index 57f75d9..40523aa 100644
--- a/platform/org.eclipse.platform/about.mappings
+++ b/platform/org.eclipse.platform/about.mappings
@@ -4,4 +4,5 @@
 # This file does not need to be translated.
 
 0=${buildId}
-1=${releaseNumberPlatform}
\ No newline at end of file
+1=${releaseName}
+2=${releaseNumberPlatform}
\ No newline at end of file
diff --git a/platform/org.eclipse.platform/plugin.properties b/platform/org.eclipse.platform/plugin.properties
index 5c409b3..03b7043 100644
--- a/platform/org.eclipse.platform/plugin.properties
+++ b/platform/org.eclipse.platform/plugin.properties
@@ -15,7 +15,7 @@
 productName=Eclipse Platform
 productBlurb=Eclipse Platform\n\
 \n\
-Version: {1}\n\
+Version: {1} ({2})\n\
 Build id: {0}\n\
 \n\
 (c) Copyright Eclipse contributors and others 2000, 2018.  All rights reserved. Eclipse and the Eclipse logo are trademarks \
diff --git a/platform/org.eclipse.sdk/about.mappings b/platform/org.eclipse.sdk/about.mappings
index eb10445..ea0d879 100644
--- a/platform/org.eclipse.sdk/about.mappings
+++ b/platform/org.eclipse.sdk/about.mappings
@@ -4,4 +4,5 @@
 # This file does not need to be translated.
 
 0=${buildId}
-1=${releaseNumberSDK}
\ No newline at end of file
+1=${releaseName}
+2=${releaseNumberSDK}
\ No newline at end of file
diff --git a/platform/org.eclipse.sdk/plugin.properties b/platform/org.eclipse.sdk/plugin.properties
index 19242e1..699099b 100644
--- a/platform/org.eclipse.sdk/plugin.properties
+++ b/platform/org.eclipse.sdk/plugin.properties
@@ -14,7 +14,7 @@
 productName=Eclipse SDK
 productBlurb=Eclipse SDK\n\
 \n\
-Version: {1}\n\
+Version: {1} ({2})\n\
 Build id: {0}\n\
 \n\
 (c) Copyright Eclipse contributors and others 2000, 2018.  All rights reserved. Eclipse and the Eclipse logo are trademarks \