code: private static void logSucceededDirective(String sourcePID,
                                                String directive,
                                                String msg) {
          out.println("  <succeeded directive=\"" + directive + "\" sourcePID=\""
                  + sourcePID + "\">");
          out.println("    " + StreamUtility.enc(msg));
          out.println("  </succeeded>");
      }
docs: <p>
  Write a log when a directive is successfully processed.
  </p>
  
  @param sourcePID
  - The PID of the object processed.
  @param directive
  - The name of the directive processed.
  @param msg
  - A message.