fixed a potential deadlock in ClassExpressionSaturationFactory
checked out .gitignore from master
Merge branch 'backports'