public static PLString getDocumentationForObject(String modulename, String objectname) {
    { PLString result = PLString.new_PLString();
      String docstring = "";

      { Stella_Object doc = null;
        edu.isi.powerloom.PlIterator iter000 = edu.isi.powerloom.PLI.sGetInferredBinaryPropositionValues("DOCUMENTATION", GuiServer.guiNameToPlName(objectname), modulename, null);
        int i = Stella.NULL_INTEGER;
        int iter001 = 1;

        for (;iter000.nextP(); iter001 = iter001 + 1) {
          doc = iter000.value;
          i = iter001;
          if (Stella_Object.stringP(doc)) {
            docstring = docstring + (((i == 1) ? "" : Stella.EOL_STRING)) + ((StringWrapper)(doc)).wrapperValue;
          }
        }
      }
      result.Value = GuiServer.xmlifyFormattedString(docstring);
      return (result);
    }
  }