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
synchronized (getLockObject()) {
					boolean isCanceled= false;
					fPreviouslyOverlaid= fCurrentlyOverlaid;
					fCurrentlyOverlaid= new ArrayList();
					if (fGeneratedAnnotations.size() > 0) {
						temporaryProblemsChanged= true;
						removeAnnotations(fGeneratedAnnotations, false, true);
						fGeneratedAnnotations.clear();
					}
					if (reportedProblems != null && reportedProblems.size() > 0) {
						Iterator e= reportedProblems.iterator();
						while (e.hasNext()) {
							if (fProgressMonitor != null && fProgressMonitor.isCanceled()) {
								isCanceled= true;
								break;
							}
							IProblem problem= (IProblem) e.next();
							Position position= createPositionFromProblem(problem);
							if (position != null) {
								try {
									ProblemAnnotation annotation= new ProblemAnnotation(problem, fCompilationUnit);
									overlayMarkers(position, annotation);
									addAnnotation(annotation, position, false);
									fGeneratedAnnotations.add(annotation);
									temporaryProblemsChanged= true;
								} catch (BadLocationException x) {
									
								}
							}
						}