if (!provider_classes_.containsKey(provider_class_name)) { throw new DMDNoSuchProviderException(); }
  public void removeProvider(String class_name)      throws IllegalArgumentException, DMDNoSuchProviderException  {  }