MarkingHandler handler = it.next();
handler.setWGAVersionCompliance(versionCompliance);
handler.setDocumentProvider(provider);
handler.createMarkers(file, provider.getDocument(input));
}
provider.disconnect(input);
} catch (CoreException e) {
Plugin.getDefault().logError("Unable to validate tml file '" + file.getLocation().toString() + "'.", e);
}
}