hg: jdk/sandbox: 8250912: Recording#copy() doesn't copy the flush interval

[chris.hegarty at oracle.com]

Changeset: 1abab3145848
Author:    cito
Date:      2020-08-06 23:47 +0900
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/1abab3145848

8250912: Recording#copy() doesn't copy the flush interval
Reviewed-by: jbachorik

! src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java