delete the previous copy of the Propagator before getting a new one, and check its configuration before using it
convert HLTMuonPointingFilter from an HLTFilter into a simpler edm::EDFilter
work in progress: convert all hltFilters to global modules
C++11 minor changes
convert TriggerResultsFilterFromDB from an HLTFilter into a simpler edm::EDFilter
work in progress: convert all hltFilters to global modules
remove unnecessary EventSetup caching

need for in-progress work to convert all hltFilters to global modules
temporarily revert the migration of hltFilter() to a const method