"after the completion of years active service a constitutional court judge or judge shall once be entitled if he or she so requests to be paid the gratuity or any part thereof which has until the date of the request accrued in accordance with the formula in subsection"