git: openjdk/jdk13u: 8253799: Make lists of normal filenames

[duke]

Changeset: 0c5501bd
Author:    Yuri Nesterenko <yan at openjdk.org>
Committer: Yuri Nesterenko <yan at azul.com>
Date:      2020-10-28 00:21:29 +0000
URL:       https://git.openjdk.java.net/jdk13u/commit/0c5501bd

8253799: Make lists of normal filenames

Reviewed-by: bae
Backport-of: 2e20420732dc395a5a05d9fc4b0667ac9691bbdf

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