What is the web xml plugin editor plugin in this example?

I am watching this vedio. What is the web xml plugin for Eclipse to install. . I already installed WTP.