(a)
When any public building has been acquired or constructed by the board, and the revenues, rentals, or receipts from the operation of the public building are no longer required or pledged for the payment of principal or interest on any of the certificates or revenue bonds of the board undertaken under this part, the public building shall be under the jurisdiction of, and operated and maintained by, the state
agency that had jurisdiction of the property prior to the board’s financing of the public building.
(b)
If at any time funds are available by law to retire any certificates or revenue bonds issued to defray the cost of any public building, these funds shall be applied to the redemption of certificates or revenue bonds secured by the rentals and revenues from that public building.