Issue #92: encoding nested maps as JSON objects in preferences