Performance optimisation in WebFilter: use IMap.set instead of IMap.put