Government officials and employees. Executive order, prescribing regulations relating to annual leave of Government employees.