if(!file.exists()) { Object[] args = { path }; GUIUtilities.message(view,"filedeleted",args); return; }
	public void checkModTime(View view)	{		// don't do these checks while a save is in progress,		// because for a moment newModTime will be greater than		// oldModTime, due to the multithreading		if(file == null || getFlag(NEW_FILE) || getFlag(IO))			return;		long oldModTime = modTime;		long newModTime = file.lastModified();		if(newModTime != oldModTime)		{			modTime = newModTime;			String prop = (isDirty() ? "filechanged-dirty.message"				: "filechanged-focus.message");			Object[] args = { path };			int result = JOptionPane.showConfirmDialog(view,				jEdit.getProperty(prop,args),				jEdit.getProperty("filechanged.title"),				JOptionPane.YES_NO_OPTION,				JOptionPane.WARNING_MESSAGE);			if(result == JOptionPane.YES_OPTION)			{				load(view,true);			}		}	}