Simple Conflict-free Replicated Data Types (CRDTs) for Java