int (@Nullable VirtualFilePointer pointer) { if (pointer == null) { return 0; } String url = pointer.getUrl(); return SystemInfoRt.isFileSystemCaseSensitive ? url.hashCode() : Strings.stringHashCodeInsensitive(url); }