Iterator i = config.getPluginConfigurations().iterator();
plugins = new Vector(config.getPluginConfigurations().size());
JasenPlugin plugin = null;
ProbabilityCalculator pluginCalc = null;
PluginContainer container = null;
Properties props = null;
JasenPluginConfiguration pluginConfig = null;
while(i.hasNext()) {