1516171819202122
private PropagationSpecs propagationSpecs; private Propagations propagations; public PropagationManager(ConfigurationDir configDirectory) { setConfigDirectory(configDirectory); propagationSpecs = new PropagationSpecs(); }