< prev index next >

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

Print this page

        

@@ -130,11 +130,11 @@
      *
      * @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) {
+        if (!configuration.getOptions().quiet) {
             report(NOTE, resources.getText(key, args));
         }
     }
 
     // ***** Internal support *****
< prev index next >