Bug 20533 Unexpected popup closing eclipse with unsaved changes
Build 20020617 Win2k I'm not sure if this is core, but... - In the resource perspective, create a new simple project - Create a .txt file in this project - Type something in it (to flag it as modified) - close eclipse - it will ask you if you want to save it before exiting, save it Now you should see another dialog pop up saying: "The file has been changed on the file system. Do you want to load the changes? (Yes/No).
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitDocumentProvider.java
fOverlaids.add(annotation);
			}
			/*
			 * @see IProblemAnnotation#removeOverlaid(IProblemAnnotation)
			 */
			public void removeOverlaid(IProblemAnnotation annotation) {
				if (fOverlaids != null) {
					fOverlaids.remove(annotation);
					if (fOverlaids.size() == 0)
						fOverlaids= null;
				}
			}
			
			/*
			 * @see IProblemAnnotation#getOverlaidIterator()
			 */
			public Iterator getOverlaidIterator() {
				if (fOverlaids != null)
					return fOverlaids.iterator();
				return null;
			}
		};
		
		/**
		 * Internal structure for mapping positions to some value. 
		 * The reason for this specific structure is that positions can
		 * change over time. Thus a lookup is based on value and not
		 * on hash value.
		 */
		protected static class ReverseMap {