changed name of servlet to reflect spring servlet bootstrap