(new WebView()).getHTML() method anywhere? ...

[Albretch Mueller]

 and, of course, you would dump the web page after it was fully rendered, like:

  private void loaderStateChanged(
   ObservableValue<? extends State> obs, State oldState, State newState) {
    // switch expressions standardized in Java 14 (preview feature in
Java 12 and 13)
   switch (newState) {
      case SUCCEEDED -> handleSuccess();
      case FAILED -> handleFailure();
   }
  }

  private void handleSuccess() {
    System.out.println("Load succeeded.");
    System.out.println("// __   end time: |" + SDF.format(new Date()) + "|");
  }
~
 Do you know of a better way to get the source HTML page?

 lbrtchx