private void Refresh() { _timestamp = new Timestamp(); }
public Timestamp(Timestamp other) { _time = other._time; }