--- old/src/java.base/share/classes/java/io/File.java	2018-09-28 11:26:27.849908797 +0700
+++ new/src/java.base/share/classes/java/io/File.java	2018-09-28 11:26:27.461908797 +0700
@@ -1164,7 +1164,7 @@
      * @see java.nio.file.Files#newDirectoryStream(Path,String)
      */
     public String[] list(FilenameFilter filter) {
-        String names[] = list();
+        String[] names = list();
         if ((names == null) || (filter == null)) {
             return names;
         }
@@ -1257,7 +1257,7 @@
      * @see java.nio.file.Files#newDirectoryStream(Path,String)
      */
     public File[] listFiles(FilenameFilter filter) {
-        String ss[] = list();
+        String[] ss = list();
         if (ss == null) return null;
         ArrayList<File> files = new ArrayList<>();
         for (String s : ss)
@@ -1295,7 +1295,7 @@
      * @see java.nio.file.Files#newDirectoryStream(Path,java.nio.file.DirectoryStream.Filter)
      */
     public File[] listFiles(FileFilter filter) {
-        String ss[] = list();
+        String[] ss = list();
         if (ss == null) return null;
         ArrayList<File> files = new ArrayList<>();
         for (String s : ss) {