cms-sw/cmssw — pull request #6124 by alja (2014-10-30 21:27:16+00:00)
Title: Port Fireworks changes from 72x to 73x

Synchronize Fireworks/Core directories.
Next time do this with cherry-pick.