Fluent migration: preferences

Migrate "settings.properties" to Fluent.