This class is a wrapper for loading JPF or a JPFShell through a classloader
that got initialized from a Config object (i.e. 'native_classpath').
This is the main-class entry in the executable RunJPF.jar, which does not
require any JPF specific classpath settings, provided the site.properties
is configured correctly
NOTE this class is not allowed to use any types that would require
loading JPF classes during class resolution - this would result in
NoClassDefFoundErrors if the respective class is not in RunJPF.jar