changed servlet mapping to .servlet instead of .html