JCR-3971 - Make read-permission cache-size in CompiledPermissionsImpl configurable - original patch by Manfred Baedke