Change the JSON file for DoubleMu_2012B_13Jul2012_v4 dataset
Merge remote-tracking branch 'uwcms/master'