Military service. Executive order, amendment of Executive order 8099 of Apr. 28, 1939, relating to administration of benefits [to certain personnel of Army] provided by act of Congress approved Apr. 3, 1939.