@Override
    public int hashCode(VirtualFilePointer pointer) {
      // TODO !! hashCode is unstable - VirtualFilePointer URL can change
      String url = pointer.getUrl();
      return SystemInfoRt.isFileSystemCaseSensitive ? url.hashCode() : StringUtilRt.stringHashCodeInsensitive(url);
    }
@Override
    public int hashCode(VirtualFilePointer pointer)