if (path != null) {
file = path.toFile();
}
}
if (file != null) {
return getChildren(new IPFile(includePathEntry,
file));
}
} else if (parentElement instanceof IPFile) {
IPFile ipFile = (IPFile) parentElement;
File file = ipFile.file;
if (file.isDirectory()) {
File dirs[] = file.listFiles(new FileFilter() {
public boolean accept(File pathname) {
return pathname.isDirectory();
}
});
List<Object> r = new ArrayList<Object>(dirs.length);
for (File dir : dirs) {
r.add(new IPFile(ipFile.includePathEntry, dir));
}
return r.toArray();
}
}
} catch (CoreException e) {