Bug 98327 [misc] File not saved on disk after "resave" editor context
N20060604-0010 - create project, package, A.java - open A.java in editor - go to OS explorer - delete A.java on disk - go back to workbench and activate editor observe: you get a dialog asking you whether you want to save the content - say yes observe: the dialog claims that the file exists. Strange, since I just deleted it. Say yes for override observe: the file doesn't end up on disk. You get an editor that the file doesn't exist.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitDocumentProvider.java
private static class ProblemRequestorState {
				boolean fInsideReportingSequence= false;
				List fReportedProblems;
			}
			private ThreadLocal fProblemRequestorState= new ThreadLocal();
			private int fStateCount= 0;
			private ICompilationUnit fCompilationUnit;
			private List fGeneratedAnnotations;
			private IProgressMonitor fProgressMonitor;
			private boolean fIsActive= false;
			private boolean fIsHandlingTemporaryProblems;
			private ReverseMap fReverseMap= new ReverseMap();
			private List fPreviouslyOverlaid= null;
			private List fCurrentlyOverlaid= new ArrayList();
			public CompilationUnitAnnotationModel(IResource resource) {
				super(resource);
			}
			public void setCompilationUnit(ICompilationUnit unit)  {
				fCompilationUnit= unit;
			}
			protected MarkerAnnotation createMarkerAnnotation(IMarker marker) {
				String markerType= MarkerUtilities.getMarkerType(marker);
				if (markerType != null && markerType.startsWith(JavaMarkerAnnotation.JAVA_MARKER_TYPE_PREFIX))
					return new JavaMarkerAnnotation(marker);
				return super.createMarkerAnnotation(marker);
			}
			/*