Fix #974: Implement java.util.UUID.

Except `UUID.nameUUIDFromBytes`, because that relies on computing an MD5 or SHA-1 hash.