fix bug where multiple servlets registration didn't work