replaced simple counter of active documents with a set containing all
document controllers of active documents