public static void showDocument(URL url){
  showDocument(url.toString());
}

public static void showDocument ( URL url ) { showDocument ( url . toString ( ) ) ; }
display a file in the system browser .
