IRT Senior_Researcher, if you consider the State Constitution allowing for the Public Sector employees to organize to collectively bargain with the State and Counties, you are correct.  Actually, the pension and healthcare benefits is agree to through collective bargaining and the process is in the HRS (Hawaii Revised Statutes), law adopted by the Legislature and signed by the Governor.  The Legislature could change the whole process of Public Sector employee collective bargaining.  But, chances they would not.