Index: trunk/src/org/openstreetmap/josm/io/imagery/WMSImagery.java
===================================================================
--- trunk/src/org/openstreetmap/josm/io/imagery/WMSImagery.java	(revision 13397)
+++ trunk/src/org/openstreetmap/josm/io/imagery/WMSImagery.java	(revision 13398)
@@ -298,5 +298,5 @@
      */
     private void doAttemptGetCapabilities130(String serviceUrlStr, final String url)
-            throws IOException, WMSGetCapabilitiesException, MalformedURLException {
+            throws IOException, WMSGetCapabilitiesException {
         doAttemptGetCapabilities(serviceUrlStr, new URL(url.replace("VERSION=1.1.1", "VERSION=1.3.0")));
         if (serviceUrl.toExternalForm().contains("VERSION=1.1.1")) {