No credits toward retirement under section 1591 shall be allowed to any member of the State Police in military service beyond the period of first enlistment or induction into the Armed Forces of the United States unless the individual involved is compelled to continue service under some mandatory provision.