Settings file format changed to JSON