modules/javafx.web/src/main/native/Source/WebCore/platform/java/FrameLoaderClientJava.h

@@ -234,10 +234,11 @@
 
         void postLoadEvent(Frame* f, int state, String url, String contentType, double progress, int errorCode = 0);
         void postResourceLoadEvent(Frame* f, int state, int id, String contentType, double progress, int errorCode = 0);
 
         void destroyIfNeeded();
+        void dispatchDidNavigateWithinPage();
 
         // Plugin widget for handling data redirection
 //        PluginWidgetJava* m_pluginWidget;
     };