- try {
- return new URL(opt.getBasicURL().toExternalForm()+"/"+opt.getFurtherDetails());
- }
- catch (NullPointerException q) {}
- catch (MalformedURLException q)
+ try
+ {
+ return new URL(opt.getBasicURL().toExternalForm() + "/"
+ + opt.getFurtherDetails());
+ } catch (NullPointerException q)