392             newstr = subStream(len, true);

   392             newstr = subStream(len, true);

   393 

   393 

   394         /*

   394         /*

   395          * Pull values out of the stream.

   395          * Pull values out of the stream.

   396          */

   396          */

   398         DerValue value;

   398         DerValue value;

   399 

   399 

   400         do {

   400         do {

   401             value = new DerValue(newstr.buffer);

   401             value = new DerValue(newstr.buffer);

   402             vec.addElement(value);

   402             vec.addElement(value);