setModificationTime(other.getModificationTime()); if (other.hasAccessTime()) { setAccessTime(other.getAccessTime());
setModificationTime(other.getModificationTime()); if (other.hasAccessTime()) { setAccessTime(other.getAccessTime());
setModificationTime(other.getModificationTime()); if (other.hasAccessTime()) { setAccessTime(other.getAccessTime());