Forward port CMSSW_7_1_X into CMSSW_7_1_DEVEL_X