public static void htmlWriteModuleResponsePage(String modulename, org.powerloom.PrintableStringWriter stream) {
    { Module module = Stella.getStellaModule(modulename, false);

      if (module == null) {
        OntosaurusUtil.htmlUnknownObjectResponse(OntosaurusUtil.KWD_CONTEXT, modulename, stream);
      }
      else {
        { Object old$Module$000 = Stella.$MODULE$.get();
          Object old$Context$000 = Stella.$CONTEXT$.get();

          try {
            Native.setSpecial(Stella.$MODULE$, module);
            Native.setSpecial(Stella.$CONTEXT$, ((Module)(Stella.$MODULE$.get())));
            OntosaurusUtil.htmlWriteModuleResponsePageInternal(module, stream);

          } finally {
            Stella.$CONTEXT$.set(old$Context$000);
            Stella.$MODULE$.set(old$Module$000);
          }
        }
      }
    }
  }