setDormantActivations(other.getDormantActivations()); if (other.hasActiveActivations()) { setActiveActivations(other.getActiveActivations());
setDormantActivations(other.getDormantActivations()); if (other.hasActiveActivations()) { setActiveActivations(other.getActiveActivations());