District of Columbia Code Division II. Judiciary and Judicial Procedure § 11-1571. Periodic increases; existing rights.

(a) The retirement salary of any judge, or the annuity of any person based upon the service of a judge, who, on the effective date of any increase which, after the effective date of this section, becomes payable under the provisions of section 8340 (b) of title 5, United States Code, is receiving such salary or annuity, or who, before the next such increase first becomes payable under such section, receives such salary or annuity, either (1) under the provisions of this subchapter, or (2) under the provisions of section 11-1701, as in effect prior to the effective date of this section, and its predecessor laws, shall be increased on the effective date of the increase by a percentage equal to the percentage of such increase under section 8340 of title 5, United States Code.

(b) Nothing in this subchapter shall defeat or diminish rights acquired under section 11-1701, as in effect prior to the effective date of this section, and its predecessor laws, except on the election and with the consent of the judge, annuitant, or other person affected.