* PrecalculatedLibraryIndexProvider (getIndexFile): Bug fix. We must

  use URI.toFileString() to get a device file name.  Otherwise, file
  path lacks device name or contains wrong path separators.

org.omg.kerml.xtext/src/org/omg/kerml/xtext/library/PrecalculatedLibraryIndexProvider.java

@@ -103,11 +103,11 @@ public boolean isIndexDisabled() {
 	}
 
 	private File getIndexFile(URI uri) {
-		String pathString = uri.path();
-		if (pathString == null) return null;
-		int idx = pathString.lastIndexOf(LIBRARY_FOLDER);
-		if (idx < 0) return null;
-		String parentPath = pathString.substring(0, idx + LIBRARY_FOLDER.length());
+		String fileString = uri.toFileString();
+		if (fileString == null) return null;
+		int idx = fileString.lastIndexOf(LIBRARY_FOLDER);
+ 		if (idx < 0) return null;
+		String parentPath = fileString.substring(0, idx + LIBRARY_FOLDER.length());
 		return new File(parentPath, LibraryIndex.FILE_NAME);
 	}