arreglado servlet reservas

para que funcione con versiones anteriores de tomcat