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