RFR: 8261441: JFR: Filename expansion [v3]

[Denghui Dong]

> Hi,
> Could I have a review of this change that let the users could use `%p` in the filename to represent the PID  when JFR.start/stop/dump.
> 
> I haven't implemented `%t` described in the issue, because I don't think it's very useful.
> 
> Best,
> Denghui Dong

Denghui Dong has updated the pull request incrementally with one additional commit since the last revision:

  fix format problem

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/4550/files
  - new: https://git.openjdk.java.net/jdk/pull/4550/files/7c4146de..f3fed5ab

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=4550&range=02
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=4550&range=01-02

  Stats: 3 lines in 3 files changed: 0 ins; 0 del; 3 mod
  Patch: https://git.openjdk.java.net/jdk/pull/4550.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/4550/head:pull/4550

PR: https://git.openjdk.java.net/jdk/pull/4550