should deleting a server in servers view close an open server editor?
===Bug ID==
[https://bugs.eclipse.org/bugs/show_bug.cgi?id=240167 240167]
<table style="text-align: left; background-color: #F9F9F9; border: 1px solid #AAAAAA; color: black;"> <tr> <td> <h3> =Steps to Reproduce the Bug: </h3> </td> </tr> <tr> <td> <p>== 1.I created a Tomcat 5.5 server, double click to open it in its editor. <br /> 2.Then I selected the server and deleted it from server view. <br /> 3.should the server editor be closed ? <br /> 4. if you have a java file open, and delete the file the editor is closed, otherwise it would be odd to make changes to the file.</p> </td> </tr> </table>