Wrong selection after merging nodes using "fix" button

[skyper]

What steps will reproduce the problem?

1. Have two areas with Mixed type duplicated nodes (josm_Mixed_type_duplicated_nodes_example.osm.xz​)
2. Run Validator
3. Select the nodes using select button in validator panel
4. Take a look at the selection in selection list panel (2 nodes)
5. Click on fix button in validator panel
6. Take a look at the selection in selection list panel (2 nodes)

What is the expected result?

As the nodes are merge with the fix only one node should be listed in the selection list panel.

What happens instead?

Displayed selection in selection list panel does not change. Still both nodes.

Please provide any additional information below. Attach a screenshot if possible.

I tried to select the younger one (higher id) which is deleted and it works but deleting the node deletes the other one, so I think it is hopefully only a problem of updating the display of the selection list.

Or did I find a critical bug?

Relative:URL: ^/trunk
Repository:UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
Last:Changed Date: 2020-07-25 14:35:24 +0200 (Sat, 25 Jul 2020)
Revision:16808
Build-Date:2020-07-26 01:30:54
URL:https://josm.openstreetmap.de/svn/trunk

[skyper]

example file