STATE POLICE FOR AUTOMATIC RETIREMENT ASSOCIATION, ET AL., Plaintiffs, Appellants, v. John DIFAVA, SUPERINTENDENT OF THE DEPARTMENT OF STATE POLICE,…