MINOR: JavaDoc for VectorClock, DatabaseReconciliator, DownOperation