src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/Messages.java

*** 130,140 ****
       *
       * @param key the name of a resource containing the message to be printed
       * @param args optional arguments to be replaced in the message.
       */
      public void notice(String key, Object... args) {
!         if (!configuration.quiet) {
              report(NOTE, resources.getText(key, args));
          }
      }
  
      // ***** Internal support *****
--- 130,140 ----
       *
       * @param key the name of a resource containing the message to be printed
       * @param args optional arguments to be replaced in the message.
       */
      public void notice(String key, Object... args) {
!         if (!configuration.getOptions().quiet) {
              report(NOTE, resources.getText(key, args));
          }
      }
  
      // ***** Internal support *****