jdk.jfr.Recording javadoc does not compile

[Philippe Marschall]

Hello

I don't know where to report this. The class Javadoc of 
jdk.jfr.Recording contains the following code which does not compile:

Configuration c = Configuration.getConfiguration("default");
Recording r = new Recording(c);
r.start();
System.gc();
Thread.sleep(5000);
r.stop();
r.copyTo(Files.createTempFile("my-recording", ".jfr"));

The issue is that Recording has no #copyTo(Path) method. Probably the 
#dump(Path) method was intended.

Cheers
Philippe