文档说@WebServlet的配置属性都是可选的，不是必需的。
经实践，将一个Servlet配置成load-on-startup的Servlet时，若只添加loadOnStartup属性，该Servlet不生效；在web.xml中配置，只添加loadOnStartup属性会生效。
继续试验，发现加上urlPatterns属性的Servlet才会生效。目前看来用@WebServlet配置Servlet必需添加urlPatterns属性。
不知是不是环境等的原因，记录留解。