Fix for uninstalling a ToolShed tool repository revision with a tool with multiple versions installed not properly replacing with the still existing tool version in the tool panel.