面向Web开发人员的Eclipse Java EE IDE 版本：氧气释放（v4.7.0） 构建ID：20170620-1800
AnyEdit工具的首选项（v2.7.0.201705171641）： - （x）删除尾随空格 - （x）转换标签＆lt; - ＆gt;空间 - （x）选项卡到空格
使用以下命令打开HTML文件：JBoss Tools HTML Editor
保存文件时，标签不会被替换，并且尾随空格仍然存在
但是，如果我使用“文本编辑器”或“HTML编辑器”打开HTM文件，则可以正确进行更改。
我没有看到JBoss Tools中的设置吗？或者他们是否遇到其他工具的问题？