@Override
 public void merge(Configuration other) {
   merge(other.asMap());
 }
 /** Create a configuration by copying options from another configuration. */
 public MapBackedConfiguration(Configuration other) {
   this(other.asMap());
 }