src/java.base/share/classes/java/io/File.java

*** 1162,1172 ****
       *          the directory
       *
       * @see java.nio.file.Files#newDirectoryStream(Path,String)
       */
      public String[] list(FilenameFilter filter) {
!         String names[] = list();
          if ((names == null) || (filter == null)) {
              return names;
          }
          List<String> v = new ArrayList<>();
          for (int i = 0 ; i < names.length ; i++) {
--- 1162,1172 ----
       *          the directory
       *
       * @see java.nio.file.Files#newDirectoryStream(Path,String)
       */
      public String[] list(FilenameFilter filter) {
!         String[] names = list();
          if ((names == null) || (filter == null)) {
              return names;
          }
          List<String> v = new ArrayList<>();
          for (int i = 0 ; i < names.length ; i++) {
*** 1255,1265 ****
       *
       * @since  1.2
       * @see java.nio.file.Files#newDirectoryStream(Path,String)
       */
      public File[] listFiles(FilenameFilter filter) {
!         String ss[] = list();
          if (ss == null) return null;
          ArrayList<File> files = new ArrayList<>();
          for (String s : ss)
              if ((filter == null) || filter.accept(this, s))
                  files.add(new File(s, this));
--- 1255,1265 ----
       *
       * @since  1.2
       * @see java.nio.file.Files#newDirectoryStream(Path,String)
       */
      public File[] listFiles(FilenameFilter filter) {
!         String[] ss = list();
          if (ss == null) return null;
          ArrayList<File> files = new ArrayList<>();
          for (String s : ss)
              if ((filter == null) || filter.accept(this, s))
                  files.add(new File(s, this));
*** 1293,1303 ****
       *
       * @since  1.2
       * @see java.nio.file.Files#newDirectoryStream(Path,java.nio.file.DirectoryStream.Filter)
       */
      public File[] listFiles(FileFilter filter) {
!         String ss[] = list();
          if (ss == null) return null;
          ArrayList<File> files = new ArrayList<>();
          for (String s : ss) {
              File f = new File(s, this);
              if ((filter == null) || filter.accept(f))
--- 1293,1303 ----
       *
       * @since  1.2
       * @see java.nio.file.Files#newDirectoryStream(Path,java.nio.file.DirectoryStream.Filter)
       */
      public File[] listFiles(FileFilter filter) {
!         String[] ss = list();
          if (ss == null) return null;
          ArrayList<File> files = new ArrayList<>();
          for (String s : ss) {
              File f = new File(s, this);
              if ((filter == null) || filter.accept(f))