public static void htmlWriteContextViewOption(org.powerloom.PrintableStringWriter stream, String objectname, Module ctx) {
    stream.print("<option VALUE=\"do-action?show+object+");
    Stella.writeHtmlEscapingUrlSpecialCharacters(stream, ctx.name());
    stream.print("+");
    Stella.writeHtmlEscapingUrlSpecialCharacters(stream, objectname);
    stream.print("\"");
    if (ctx == ((Module)(Stella.$MODULE$.get()))) {
      stream.print(" SELECTED");
    }
    stream.print(">");
    Stella.writeHtmlQuotingSpecialCharacters(stream, ctx.name());
    stream.println("</OPTION>");
    return;
  }