} else {
		public void run(IMarker marker) {			FileEditorInput input= new FileEditorInput((IFile) marker.getResource());			Position pos= findProblemPosition(input, marker);			if (pos != null) {				IDocument doc= JavaUI.getDocumentProvider().getDocument(input);				try {					String str= doc.get(pos.getOffset(), pos.getLength());					doc.replace(pos.getOffset(), pos.getLength(), str.toUpperCase());				} catch (BadLocationException e) {					e.printStackTrace();				}			}		}