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
/*
			 * @see IDocument#get()
			 */
			synchronized public String get() {
				return super.get();
			}
			
			/*
			 * @see IDocument#get(int, int)
			 */
			synchronized public String get(int offset, int length) throws BadLocationException {
				return super.get(offset, length);
			}
			
			/*
			 * @see IDocument#getChar(int)
			 */
			synchronized public char getChar(int offset) throws BadLocationException {
				return super.getChar(offset);
			}
			
			/*
			 * @see IDocument#replace(int, int, String)
			 */
			synchronized public void replace(int offset, int length, String text) throws BadLocationException {
				super.replace(offset, length, text);
			}
			
			/*
			 * @see IDocument#set(String)