private void createMarker(final String filename, final int line, final String message) {
try {
// System.out.println("(trying to) create a marker for " + filename);
for (IFolder srcFolder: srcFolders.keySet()) {
srcFolder.accept(new IResourceVisitor() {
public boolean visit(IResource resource) throws CoreException {
if (resource.getType() == IResource.FILE) {
// System.out.println(" file found: " + resource.getName());
if (resource.getName().equals(filename)) {
Map attrs = new HashMap();