House reports on private bills, 85th Congress. 1640. Certain employees of Department of Navy at Naval Gun Factory, Washington, D. C. Report from Committee on Judiciary to accompany H. R. 8231.