Fix #453: Solution FormatterSettings are not persisted properly