/** * Sets the "activityTime" element */ public void setActivityTime(eu.europa.ec.inspire.schemas.ef.x40.OperationalActivityPeriodType.ActivityTime activityTime) { synchronized (monitor()) { check_orphaned(); eu.europa.ec.inspire.schemas.ef.x40.OperationalActivityPeriodType.ActivityTime target = null; target = (eu.europa.ec.inspire.schemas.ef.x40.OperationalActivityPeriodType.ActivityTime)get_store().find_element_user(ACTIVITYTIME$0, 0); if (target == null) { target = (eu.europa.ec.inspire.schemas.ef.x40.OperationalActivityPeriodType.ActivityTime)get_store().add_element_user(ACTIVITYTIME$0); } target.set(activityTime); } }