Using class CRC64 checksum for id (as in JaCoCo)