if(new File(filename).exists())
if(vfs instanceof FileVFS && new File(filename).exists())
	private boolean doFileExistsWarning(String filename)	{		String directory = browser.getDirectory();		VFS vfs = VFSManager.getVFSForPath(directory);		filename = vfs.constructPath(directory,filename);		// this is a stupid hack. File.exists()		// will always return 'false' for non-local		// files, so we don't need to check for		// that first.		if(new File(filename).exists())		{			String[] args = { MiscUtilities.getFileName(filename) };			int result = JOptionPane.showConfirmDialog(				browser,				jEdit.getProperty("fileexists.message",args),				jEdit.getProperty("fileexists.title"),				JOptionPane.YES_NO_OPTION,				JOptionPane.WARNING_MESSAGE);			if(result != JOptionPane.YES_OPTION)				return true;		}		return false;	}