A judicial officer may, on retirement, opt to receive in lieu of a full pension, a reduced pension equal to three-quarters of the full pension plus a gratuity equal to 15 times one-quarter of the full pension.