Bug 563838 - Splash screen for 4.17 (2020-09)

Change-Id: Ide0eeffe53ec89cd064f84ec420dfd8e5f0633dd
Signed-off-by: Sravan Kumar Lakkimsetti <sravankumarl@in.ibm.com>
diff --git a/platform/org.eclipse.platform/build.properties b/platform/org.eclipse.platform/build.properties
index 9cf8050..262ee59 100644
--- a/platform/org.eclipse.platform/build.properties
+++ b/platform/org.eclipse.platform/build.properties
@@ -16,6 +16,7 @@
                about.mappings,\
                about.properties,\
                eclipse_lg.png,\
+               eclipse_lg@2x.png,\
                eclipse16.png,\
                eclipse32.png,\
                eclipse48.png,\
diff --git a/platform/org.eclipse.sdk/build.properties b/platform/org.eclipse.sdk/build.properties
index b925745..24bbbdc 100644
--- a/platform/org.eclipse.sdk/build.properties
+++ b/platform/org.eclipse.sdk/build.properties
@@ -20,6 +20,7 @@
                eclipse48.png,\
                eclipse256.png,\
                eclipse_lg.png,\
+               eclipse_lg@2x.png,\
                plugin.xml,\
                plugin.properties,\
                plugin_customization.ini,\