Refactoring, TimerManager, RecordingManager and ConflictFinder are not
singletons anymore.