House reports on public bills, 85th Congress. 2426. Relief of certain employees of Department of Navy. Report from Committee on Judiciary to accompany H. R. 12212.