Persistant backend to store preferences. Uses the JDK preferences API as backend. @see java.util.prefs.Preferences