JCR-3972 - Make size of ID-cache in CachingHierarchyManager configurable - original patch by Manfred Baedke