public static void plguiHtmlPprintObject(Stella_Object self, OutputStream stream) {
    { Object old$LogicDialect$000 = Logic.$LOGIC_DIALECT$.get();
      Object old$PprintAtomicObjectRenderer$000 = edu.isi.ontosaurus.OntosaurusUtil.$PPRINT_ATOMIC_OBJECT_RENDERER$.get();

      try {
        Native.setSpecial(Logic.$LOGIC_DIALECT$, GuiServer.KWD_KIF);
        Native.setSpecial(edu.isi.ontosaurus.OntosaurusUtil.$PPRINT_ATOMIC_OBJECT_RENDERER$, Native.find_java_method("edu.isi.powerloom.server.gui.GuiServer", "plguiHtmlPprintAtomicObject", new java.lang.Class [] {Native.find_java_class("edu.isi.stella.Stella_Object"), Native.find_java_class("org.powerloom.PrintableStringWriter")}));
        if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(self), GuiServer.SGT_LOGIC_PROPOSITION)) {
          { Proposition self000 = ((Proposition)(self));

            { Keyword testValue000 = self000.kind;

              if ((testValue000 == GuiServer.KWD_ISA) ||
                  ((testValue000 == GuiServer.KWD_FUNCTION) ||
                   ((testValue000 == GuiServer.KWD_PREDICATE) ||
                    ((testValue000 == GuiServer.KWD_NOT) ||
                     (testValue000 == GuiServer.KWD_EQUIVALENT))))) {
              }
              else {
                {
                  stream.nativeStream.print("<PRE>");
                  edu.isi.ontosaurus.OntosaurusUtil.pprintObject(self000, stream.nativeStream);
                  stream.nativeStream.println("</PRE>");
                }
                return;
              }
            }
          }
        }
        else {
        }
        edu.isi.ontosaurus.OntosaurusUtil.pprintObject(self, stream.nativeStream);

      } finally {
        edu.isi.ontosaurus.OntosaurusUtil.$PPRINT_ATOMIC_OBJECT_RENDERER$.set(old$PprintAtomicObjectRenderer$000);
        Logic.$LOGIC_DIALECT$.set(old$LogicDialect$000);
      }
    }
  }