public static void serveControlPanelInternal(org.powerloom.PrintableStringWriter stream) {
    {
      stream.print("<HTML>");
      {
        stream.print("<HEAD>");
        {
          stream.print("<TITLE>");
          stream.print("PowerLoom Browser Control Panel");
          stream.println("</TITLE>");
        }
        OntosaurusUtil.writeControlPanelScript(stream);
        stream.println("</HEAD>");
      }
      { String tag009 = "BODY BGCOLOR='#" + OntosaurusUtil.$CONTROL_BACKGROUND_COLOR$ + "'";

        stream.print("<" + tag009 + ">");
        OntosaurusUtil.writeTopSection(stream);
        OntosaurusUtil.writeTheorySection(stream);
        OntosaurusUtil.writeBottomSection(stream);
        stream.println("</" + Native.string_subsequence(tag009, 0, Native.string_position(tag009, ' ', 0)) + ">");
      }
      stream.println("</HTML>");
    }
    return;
  }