RFR: 8250912: Recording#copy() doesn't copy the flush interval

[Chihiro Ito]

Hi,

Could you review this tiny fix, please?

JBS : https://bugs.openjdk.java.net/browse/JDK-8250912
Webrev : http://cr.openjdk.java.net/~cito/JDK-8250912/webrev.00/

I have a question involving flush interval.
Why is Recording#getFlushInterval method package-private? I would like
to write a test using this method. However, in test case, I could not
access this method.

Regards,
Chihiro