myCommandProcessor = p.getCommandProcessor();
replicatedAgentClasses = Specifier.parseList(p.getParameter(REPLICATED_AGENTS, ""), ';');
myPlatformManager = pm;
// The AMS must be instantiated before the installation of kernel services to
// avoid NullPointerException in case a service provides an AMS-behaviour
theAMS = new ams(this);
defaultDF = new df();
}