“(a) The leave account of every Government servant (other than a military officer) who is serving in a Vacation Department shall be credited with earned leave, in advance’ in two installments of five days each on the first day of January and July of every calendar year. (b) I...