Ticket #18772: 18772.patch

src/org/openstreetmap/josm/tools/Territories.java

@@ -26 +26 @@
 import javax.json.JsonValue;
 import javax.json.stream.JsonParser;
 import javax.json.stream.JsonParser.Event;
+import javax.json.stream.JsonParsingException;
 
 import org.openstreetmap.josm.data.coor.LatLon;
 import org.openstreetmap.josm.data.osm.DataSet;
@@ -187 +188 @@
                     }
                 }
             }
-        } catch (IOException e) {
+        } catch (IOException |JsonParsingException e) {
             throw new JosmRuntimeException(e);
         }
     }