code: public void printNotice(SourcePosition pos, String msg) {
          if (diagListener != null) {
              report(DiagnosticType.NOTE, pos, msg);
              return;
          }
  
          PrintWriter noticeWriter = getWriter(WriterKind.NOTICE);
          if (pos == null)
              noticeWriter.println(msg);
          else
              noticeWriter.println(pos + ": " + msg);
          noticeWriter.flush();
      }
docs: Print a message.
  Part of DocErrorReporter.
  
  @param pos the position where the error occurs
  @param msg message to print