hg: jdk/sandbox: Rename RecordingStream::setInterval to setFlushInterval

[erik.gahlin at oracle.com]

Changeset: f1610739fe86
Author:    egahlin
Date:      2019-08-29 19:00 +0200
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/f1610739fe86

Rename RecordingStream::setInterval to setFlushInterval

! src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java
! src/jdk.jfr/share/classes/jdk/jfr/consumer/UseCasesStream.java
! test/jdk/jdk/jfr/api/consumer/recordingstream/TestSetFlushInterval.java