Base implementation of Java 7-compliant CRDTs