RFR: 8261441: JFR: Filename expansion [v7]

[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:

  update

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/4550/files
  - new: https://git.openjdk.java.net/jdk/pull/4550/files/ff317460..a9f62c74

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

  Stats: 24 lines in 4 files changed: 10 ins; 2 del; 12 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