GUVNOR-2112: Deleting a open file doesn't automatically close the editor