code: private void logMandatoryNote(JavaFileObject file, String msg, Object... args) {
          if (enforceMandatory)
              log.mandatoryNote(file, msg, args);
          else
              log.note(file, msg, args);
      }
docs: Reports a mandatory note to the log.  If mandatory notes are
  not being enforced, treat this as an ordinary note.