*** empty log message ***

platform/org.eclipse.platform/src/org/eclipse/core/launcher/Main.java

diff --git a/platform/org.eclipse.platform/src/org/eclipse/core/launcher/Main.java b/platform/org.eclipse.platform/src/org/eclipse/core/launcher/Main.java
index 2f3e5e3..f48bf04 100644
--- a/platform/org.eclipse.platform/src/org/eclipse/core/launcher/Main.java
+++ b/platform/org.eclipse.platform/src/org/eclipse/core/launcher/Main.java
@@ -431,7 +431,7 @@
 			url = new URL(base);
 		} else {
 			// search in the root location
-			url = new URL(installLocation);
+			url = new URL(getInstallLocation());
 			String path = url.getFile() + "/plugins"; //$NON-NLS-1$
 			path = searchFor(framework, path);
 			if (path == null)