code: public final void yyclose() throws java.io.IOException {
          zzAtEOF = true; /* indicate end of file */
          zzEndRead = zzStartRead; /* invalidate buffer */
  
          if (zzReader != null)
              zzReader.close();
      }
docs: Closes the input stream.