A Java RMI implementation of a distributed record keeping system