if (delta.getKind() == IResourceDelta.CHANGED && delta.getResource() instanceof IFile){
IFile file = (IFile)delta.getResource();
if (file.getFileExtension().equalsIgnoreCase("cex") ||
file.getFileExtension().equalsIgnoreCase("cdf")){
try {
file.deleteMarkers(MARKER_TYPE, true, IResource.DEPTH_ONE);
} catch (CoreException e) {
ToolPlugin.showError("Error deleting file markers", e);
}
IProject project = file.getProject();
RepositorySession session = RepositorySession.getRepositorySession(project);