if(path.startsWith("file:")) path = path.substring(5);
	public void setDirectory(String path)	{		// have to do this hack until VFSPath class is written		if(path.length() != 1 && (path.endsWith("/")			|| path.endsWith(java.io.File.separator)))			path = path.substring(0,path.length() - 1);		this.path = path;		pathField.setText(path);		pathField.addCurrentToHistory();		reloadDirectory(false);	}