hg: jdk-updates/jdk15u: 8253799: Make lists of normal filenames

[yan at azul.com]

Changeset: 819c166e7cb8
Author:    bpb
Date:      2020-10-27 21:21 +0000
URL:       https://hg.openjdk.java.net/jdk-updates/jdk15u/rev/819c166e7cb8

8253799: Make lists of normal filenames
Reviewed-by: alanb, rhalade

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