Hi,
Thank you so much for your interest in our products and for using our community.
The JumpStart Code with FreeMASTER in the Getting Started you mention is for S32K116-EVB. Apparently it's a page error, I'll report it, sorry for the inconvenience.
The FreeMASTER example available are the following:

Hope it helps you.
Have a nice day!