Saving Settings

Hi,
i want to add some user options and followed the example in the sdk docs.

I can’t find and include the ConfigFile class. Is it just an placeholder like the ProcessOptions class in the docs?