ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() {
public void run(IProgressMonitor monitor) throws CoreException {
IFileEditorInput input = (IFileEditorInput)getEditorInput();
IFile file = input.getFile();
file.deleteMarkers(IMarker.PROBLEM,false,0);
try {
HTMLProjectParams params = new HTMLProjectParams(file.getProject());
if(!params.getValidateDTD()){
return;