[jdk17u-dev] RFR: 8280131: jcmd reports "Module jdk.jfr not found." when "jdk.management.jfr" is missing [v2]

[Goetz Lindenmaier]

> I'd like to fix this issue in 17.
> 
> I had to resolve a  #include in src/hotspot/share/jfr/jni/jfrJavaSupport.cpp. Probably clean annyways.

Goetz Lindenmaier has refreshed the contents of this pull request, and previous commits have been removed. The incremental views will show differences compared to the previous content of the PR. The pull request contains one new commit since the last revision:

  Backport a345df20d0a85b90e6703fba5582cacc5ba38a6d

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

Changes:
  - all: https://git.openjdk.org/jdk17u-dev/pull/2956/files
  - new: https://git.openjdk.org/jdk17u-dev/pull/2956/files/965901e8..e6b2a209

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk17u-dev&pr=2956&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk17u-dev&pr=2956&range=00-01

  Stats: 184 lines in 1 file changed: 184 ins; 0 del; 0 mod
  Patch: https://git.openjdk.org/jdk17u-dev/pull/2956.diff
  Fetch: git fetch https://git.openjdk.org/jdk17u-dev.git pull/2956/head:pull/2956

PR: https://git.openjdk.org/jdk17u-dev/pull/2956