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

*** 234,243 ****
--- 234,244 ----
  
          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;
      };