// Reset the feed to its position when we started reading this stream,
 // and start reading from the alternate input.
 private void switchToAlternate() {
   if (feed != null) {
     feed.reset(resetPoint);
   }
   useAlternate = true;
 }