If the Workers' Compensation Revolving Fund does not have sufficient funds available from contributions by state agencies for paying awarded workers' compensation benefits to state employees, loans may be made from the Budget Stabilization Trust Fund to make such payments. Any loans made to the Workers' Compensation Revolving Fund shall be repaid by June 30 of the first fiscal year after the fiscal year in which such loans were made.