Fix servlet loading