Reverting to previous JSON case file format.