Completado el servlet para cerrar sesión.
He puesto la comprobación de sesión del administrador en un fichero aparte y lo pongo con include, para no tener que repetir en cada página.
Opciones de administrador en fichero aparte.