106107108109110111112113
} catch (MalformedURLException e1) { } catch (IOException e1) { } catch (URISyntaxException e1) { } } else if (e.getActionCommand().equals("preferences...")) { new JMOptionsDialog(this.parent); } }