我在Eclipse（server.xml）中的文件没有正确保存

Question

我昨天在Eclipse上编辑了server.xml文件以添加具有microsoft jdbc值的属性，但是当我今天打开它时，更改没有保存，我不得不再次粘贴代码。什么可能出错？ Eclipse是否会保存对我构建并运行的server.xml文件的更改？

顺便说一句，我正在使用Apache Tomcat 6。