Bug 253239 [PropertiesDialog] Wrong title for a file property
bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/part/FileEditorInput.java
java.io.File localFile = store.toLocalFile(EFS.NONE, null);
			
			if (localFile == null)
				localFile = store.toLocalFile(EFS.CACHE, null);
			if (localFile == null)
				return false;
			return true;
		} catch (CoreException e) {
			
			IDEWorkbenchPlugin.log(
					"Failed to obtain file store for resource", e); 
			return false;
		}
	
	}
	/**
	 * Creates an editor input based of the given file resource.
	 *
	 * @param file the file resource
	 */
	public FileEditorInput(IFile file) {
		if (file == null)
			throw new IllegalArgumentException();
		this.file = file;
	
	}
	/* (non-Javadoc)
	 * Method declared on Object.
	 */
	public int hashCode() {