for (String sf: srcs) {
final IPath p = new Path(sf + "/" + fr);
// getProject().getWorkspace().getRoot().getFile(new Path(depPath));
final IResource toRes = file.getProject().findMember(p);
getPlugin().writeInfoMsg(
"DependenciesCollector looks for: " + p.toPortableString());
if (toRes != null && toRes instanceof IFile) {
final IFile to = (IFile) toRes;
// avoid endless recursion for frege.prelude.Base -> frege.prelude.Base
if (!file.equals(to)) {
this.fPackages.put(pack, to);