catch (MalformedURLException e)
catch (MalformedURLException ex)
  public URL getImageURL()  {    Object url = getAttributes().getAttribute(Attribute.SRC);    if (url == null)      return null;    try      {        return new URL(url.toString());      }    catch (MalformedURLException e)      {        // The URL is malformed - no image.        return null;      }  }