[jdk18] RFR: 8271447: java.nio.file.InvalidPathException: Malformed input or input contains unmappable characters

[Erik Gahlin]

Hi,

On arabic locales, the filename of a repository file may become invalid. 

Fix is to format the filename using a StringBuilder instead of using String.format("%s_%02d%s", filename, counter, FILE_EXTENSION). A similar problem exists when using 'jfr disassemble <recording-file>', but it is much more unlikely to happen, so it will be fixed separately for JDK 19. 

Testing: jdk/jdk/jfr

Thanks 
Erik

-------------

Commit messages:
 - Remove trailing space
 - Initial

Changes: https://git.openjdk.java.net/jdk18/pull/64/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk18&pr=64&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8271447
  Stats: 13 lines in 1 file changed: 12 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/jdk18/pull/64.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk18 pull/64/head:pull/64

PR: https://git.openjdk.java.net/jdk18/pull/64