int () { int result = (int)(indexingFileStamp ^ (indexingFileStamp >>> 32)); result = 31 * result + (int)(indexingByteLength ^ (indexingByteLength >>> 32)); result = 31 * result + indexingCharLength; result = 31 * result + (isBinary ? 1 : 0); return result; }