Hans Leidekker : webservices: Call WsReadEndElement just once in WsReadEnvelopeEnd.