### Eclipse Workspace Patch 1.0
#P org.eclipse.update.configurator
Index: src/org/eclipse/update/internal/configurator/PlatformConfiguration.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.update.configurator/src/org/eclipse/update/internal/configurator/PlatformConfiguration.java,v
retrieving revision 1.90
diff -u -r1.90 PlatformConfiguration.java
--- src/org/eclipse/update/internal/configurator/PlatformConfiguration.java	5 Jun 2007 18:00:44 -0000	1.90
+++ src/org/eclipse/update/internal/configurator/PlatformConfiguration.java	27 Jul 2007 21:30:24 -0000
@@ -581,7 +581,12 @@
 			}
 		} else {
 			// file protocol - do safe i/o
-			File cfigFile = new File(url.getFile().replace('/', File.separatorChar));
+			String cfgFileStr = url.getFile();
+			if(url.getRef() != null) {
+				cfgFileStr += "#";
+				cfgFileStr += url.getRef();
+			}
+			File cfigFile = new File(cfgFileStr.replace('/', File.separatorChar));
 			if (!cfigFile.getName().equals(PLATFORM_XML)) {
 				if (cfigFile.exists() && cfigFile.isFile()) {
 					Utils.log(Messages.PlatformConfiguration_expectingPlatformXMLorDirectory + cfigFile.getName());