The URL method "equals" uses "sameFile" as the definition
of equality. This is incorrect, since it ignores the possibility that
the URLs have different ref fields.