Updating RedExt class: now using ConcurrentHashMap.