Public laws, 88th Congress. 644. H.R. 5871, act to modify retirement benefits of judges of District of Columbia Court of General Sessions, District of Columbia Court of Appeals, and Juvenile Court of District of Columbia, and for other purposes