--- a/src/jdk.jfr/share/classes/jdk/jfr/FlightRecorderPermission.java	Sun Jun 24 16:25:47 2018 +0100
+++ b/src/jdk.jfr/share/classes/jdk/jfr/FlightRecorderPermission.java	Mon Jun 25 02:07:42 2018 +0200
@@ -31,6 +31,7 @@
 import java.util.Objects;
 
 import jdk.jfr.internal.PlatformEventType;
+import jdk.jfr.internal.PlatformRecorder;
 import jdk.jfr.internal.PlatformRecording;
 import jdk.jfr.internal.PrivateAccess;
 import jdk.jfr.internal.Type;
@@ -185,6 +186,11 @@
         public boolean isUnsigned(ValueDescriptor v) {
             return v.isUnsigned();
         }
+
+        @Override
+        public PlatformRecorder getPlatformRecorder() {
+            return FlightRecorder.getFlightRecorder().getInternal();
+        }
     }
 
     /**