Fix #974: Implement java.util.UUID