fix incorrect dtd reference, and make servlet 3