--- a/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/FileAccess.java	Wed Sep 18 03:45:46 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/FileAccess.java	Wed Sep 18 08:00:36 2019 +0200
@@ -55,10 +55,12 @@
             return Files.newDirectoryStream(dir);
         }
 
+        @Override
         public String getAbsolutePath(File f) throws IOException {
             return f.getAbsolutePath();
         }
 
+        @Override
         public long length(File f) throws IOException {
             return f.length();
         }