Resolves Issue #277: Clarified what may happen if properties from CacheManager.getProperties() are changed.