web.xml不能格式化的问题

web.xml有时候不能格式化，估计是eclipse的bug，有个办法是先去掉下面红框中的内容，然后点格式化，最后再把这些内容拷贝回来。