httpservlet这个类是属于Tomcat自带jar包的jjava ee类

bug:The superclass "javax.servlet.http.HttpServlet" was not found on the Java   Build Path

指定这个程序的server runtime就好了