public int hashCode(){
    if (pathString!=null)
      return pathString.hashCode();
    if (url!=null)
      return url.hashCode();
    throw new IllegalStateException("pathString and URL are both null");
  }