SB1738 Texas: Relating to the Judicial Retirement System…