[410446] FailOverMonitor might not deactivate properly 
https://bugs.eclipse.org/bugs/show_bug.cgi?id=410446
3 files changed
tree: 140461945a7177f9d55915232aaf7de3777875c0
  1. features/
  2. plugins/
  3. .gitattributes
  4. .gitignore