这个例子中的 web xml plugin editor 插件是什么？

Question

我在看 this vedio。要安装的 Eclipse 的 Web xml 插件是什么。 。我已经安装了 WTP。

Answer 1

屏幕截图显示 JBoss Tools web.xml 编辑器。