code: public static <I, D> void displayHTMLInBrowser(ObservationTable<I, D> table,
                                                     Function<? super Word<? extends I>, ? extends String> wordToString,
                                                     Function<? super D, ? extends String> outputToString)
              throws IOException, UnsupportedOperationException {
          File tempFile = File.createTempFile("learnlib-ot", ".html");
  
          // Doing this might cause problems if the startup delay of the browser
          // causes it to start only after the JVM has exited.
          // Temp directory should be wiped regularly anyway.
          // tempFile.deleteOnExit();
          writeHTMLToFile(table, tempFile, wordToString, outputToString);
  
          Desktop desktop = Desktop.getDesktop();
          // We use browse() instead of open() because, e.g., web developers may have
          // an HTML editor set up as their default application to open HTML files
          desktop.browse(tempFile.toURI());
      }
docs: Displays the observation table as a HTML document in the default browser.
  <p>
  This method internally relies on {@link Desktop#browse(java.net.URI)}, hence it will not work if {@link Desktop}
  is not supported, or if the application is running in headless mode.
  <p>
  <b>IMPORTANT NOTE:</b> Calling this method may delay the termination of the JVM by up to 5 seconds. This is due
  to the fact that the temporary file created in this method is marked for deletion upon JVM termination. If the
  JVM terminates too early, it might be deleted before it was loaded by the browser.
  
  @param table
  the observation table to display
  @param wordToString
  the transformation from words to strings. This transformation is <b>not</b> required nor expected to
  escape HTML entities
  @param outputToString
  the transformation from outputs to strings. This transformation is <b>not</b> required nor expected to
  escape HTML entities
  
  @throws IOException
  if creating or writing to the temporary file fails
  @throws HeadlessException
  if the JVM is running in headless mode
  @throws UnsupportedOperationException
  if {@link Desktop#getDesktop()} is not supported by the system