Community
Participate
Working Groups
getFiles();
}
IPath URIPath = new Path(URI);
// Some load strategies load the files as relative, and some as absolute paths, so...
// First try with the original URI
File file = (File) getFileIndex().get(URI);
if (URIPath.segmentCount() > 1)
if (file == null){
URIPath = URIPath.makeAbsolute();
// If the file was not found, try using absolute path
File file = (File) getFileIndex().get(URIPath.toString());
if (URIPath.segmentCount() > 1){
file = (File) getFileIndex().get(URIPath.toString());
if (file == null) {
throw new java.io.FileNotFoundException(URI);