made web.xml a real file again.