}
// The identifier is not unique because we omitted part, so add a
// checksum as a hashcode.
CRC32 crc32 = new CRC32();
crc32.update(s.getBytes());
long hash = crc32.getValue() & unitTestHashReductionMask;
sb.append('_');
sb.append(Long.toHexString(hash));
String encoded = sb.toString();
if (!usedHashedAliases.add(encoded)) {