More than two dates in imagery date

[Klumbumbus]

Since some days we have this in ImageryCompare:

* JOSM-Date '2020-07-30;2020-07-31;2020-08-06;2020-08-05;2020-08-07;2020-09-13;2020-09-14;2020-09-15;2020-09-19' is strange: [LU] geoportail.lu ortho latest [lu.geoportail.opendata.ortholatest]

While this is not according our specification, I think this is fine and by reducing it to start an end date we would loose information. I assume this should fix it?

SyncEditorLayerIndex.java

@@ -1252 +1252 @@
             }
             String d = getDate(j);
             if (isNotBlank(d)) {
-                Pattern patternD = Pattern.compile("^(-|(\\d\\d\\d\\d)(-(\\d\\d)(-(\\d\\d))?)?)(;(-|(\\d\\d\\d\\d)(-(\\d\\d)(-(\\d\\d))?)?))?$");
+                Pattern patternD = Pattern.compile("^(-|(\\d\\d\\d\\d)(-(\\d\\d)(-(\\d\\d))?)?)(;(-|(\\d\\d\\d\\d)(-(\\d\\d)(-(\\d\\d))?)?))*$");
                 Matcher m = patternD.matcher(d);
                 if (!m.matches()) {
                     myprintln("* JOSM-Date '"+d+"' is strange: "+getDescription(j));

[stoecker]

Reduce it to the two dates. What's the sense of keeping such detailed information?

[mdk]

The pictures are taken between 2020-07-30 and 2020-09-19, so 2020-07-30;2020-09-19 would be enough.

[Klumbumbus]

https://josm.openstreetmap.de/wiki/Maps/Luxembourg?action=diff&version=72