(String path)
| 415 | } |
| 416 | |
| 417 | public static void openURL(String path) { |
| 418 | try { |
| 419 | Desktop.getDesktop().browse(new URI(path)); |
| 420 | } catch (Throwable e) { |
| 421 | System.err.println("Couldn't open url: " + path); |
| 422 | e.printStackTrace(); |
| 423 | } |
| 424 | } |
| 425 | |
| 426 | public static void openURL(URI uri) { |
| 427 | try { |
no test coverage detected