Updated the implementation of extlib servlets mapping