* look for a path that contains the source code for pack
*/
public IPath getSource(final String pack) {
final String fr = pack.replaceAll("\\.", "/") + ".fr";
// final String[] srcs = getSp().split(System.getProperty("path.separator"));
final FregeBuilder builder = new FregeBuilder();
try {
project.getRawProject()
// .getWorkspace().getRoot()
.accept(builder.fResourceVisitor);
} catch (CoreException e) {