2025-June-19 - 2.7.15091

downloadMapImprovements (#13491)

- New search field for map names
- Visualization of muli-selection by listing all selected maps

DownloadMapsWindow.java
- method newMapSelectionPanel: Passing full selection in mapDownloadSwingTable.addMapSelectionListener;
Search field and connection to JScrollPane
- method newLabelText: Renamed to newMapUrlAndSizeLabelText and handling List<MapDownloadItem> instead of only one entry
- method newDescriptionPanelUpdatingSelectionListener: Accept list of mapNames, not just one
- removed method updateMapUrlAndSizeLabel: Updating also in method  newDescriptionPanelUpdatingSelectionListener
- new method getSelectedMapDownloadItems: Filter logic to get sublist