RFR: 8261441: JFR: Filename expansion [v9]

[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 man page

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/4550/files
  - new: https://git.openjdk.java.net/jdk/pull/4550/files/07525b3a..95b1264f

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

  Stats: 9 lines in 2 files changed: 9 ins; 0 del; 0 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