Fix bug #471; the uninstaller now removes the preferences that are stored in the registry.
Authored by: david_costanzo 2016-04-03
Parent: [r4049]
Child: [r4051]
