Section 3
SEC 3. A retiring justice who is entitled to the benefits of any prior retirement gratuity act shall have the option to choose between the benefits granted in such act and those herein provided for, and in such case, he shall be entitled only to the benefits so chosen: Provided, however, That a justice retired under any prior act and who is thereafter appointed to the Supreme Court shall be entitled to the benefits of this Act on condition that, in case he has not fully refunded to the Government the gratuity previously received by him, there shall be deducted from the amounts payable to him under this Act such monthly installments as are required in section six of Act Numbered Four thousand and fifty-one, as amended, until the gratuity already received by him shall have been refunded in full.