gistfile1.java

public void resourceChanged(final IResourceChangeEvent event) {
	if (event.getType() == IResourceChangeEvent.POST_CHANGE) {
		Display.getDefault().asyncExec(new Runnable() {
			public void run() {
				IFile file = ((IFileEditorInput) input).getFile();
				if (!file.exists()) {
					// ファイル名が変更されていたら、EditorをCloseする
					IWorkbenchPage page = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage();
					page.closeEditor(VisualMXMLEditor.this, false);
				} else {
					if (!getPartName().equals(file.getName())) {
						//ファイル名が変わっていたらEditorPartの名前も変更する
						setPartName(file.getName());
					}
				
					// GraphicalEditorをファイルの情報から読込み直し
					refreshGraphicalEditor();
				}
			}
		});
	}
}