docs: @Override
      public synchronized Enumeration getSubContexts() {
          Enumeration e = mySubContexts.elements();
          class Adapter implements Enumeration {
              Enumeration base;
  
              public Adapter(Enumeration e) {
                  this.base = e;
              }
  
              @Override
              public boolean hasMoreElements() {
                  return base.hasMoreElements();
              }
  
              @Override
              public Object nextElement() {
                  return ((Entry) base.nextElement()).getCtx();
              }
          }
          return new Adapter(e);
      }