String filename = location.getURI().getPath();
if (Os.isFamily("windows") && filename.startsWith("/")){
filename = filename.substring(1);
}
for (Match m : result.getMatches(e)){
CSearchMatch match = (CSearchMatch)m;
results.add(
Position.fromOffset(filename, null, match.getOffset(), 0));
}
}
}
return results;