The terms ???Executive agency??? and ???military department??? are substituted for ???any executive department, independent commission, board, bureau, office, agency, or other establishment in the executive branch of the Government, including wholly owned Government corporations??? in view of the definitions in sections 105 and 102.