src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java

rev 47870 : imported patch 8180019-0.patch

*** 221,231 ****
              } else {
                  readPackageListFromFile(url, DocFile.createFileForInput(configuration, pkglisturl));
              }
              return true;
          } catch (Fault f) {
!             reporter.print(Diagnostic.Kind.WARNING, f.getMessage());
              return false;
          }
      }
  
      private URL toURL(String url) throws Fault {
--- 221,231 ----
              } else {
                  readPackageListFromFile(url, DocFile.createFileForInput(configuration, pkglisturl));
              }
              return true;
          } catch (Fault f) {
!             reporter.print(Diagnostic.Kind.ERROR, f.getMessage());
              return false;
          }
      }
  
      private URL toURL(String url) throws Fault {