Interfaces related to HTTP servlets.