Remove identical class with different name

Github for Windows didn't understand what I'd done when I renamed a
file, hence the extra version of Preferences.