if(newModTime > modTime)
if(newModTime > oldModTime)
	public void checkModTime(View view)	{		long newModTime = file.lastModified();		if(newModTime > modTime)		{			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);			}		}	}