public void undeploy(ProviderManager pm) {
   preBoot.remove(pm);
   ProviderManagerDeployer deployer = getDeployer();
   if (deployer != null) {
     deployer.undeploy(pm);
   }
 }
 public void deploy(ProviderManager pm) {
   ProviderManagerDeployer deployer = getDeployer();
   if (deployer == null) {
     preBoot.add(pm);
   } else {
     deployer.deploy(pm);
   }
 }