174175176177178179180181182183184
{ final Enumeration records = records_.elements(); while( records.hasMoreElements() ) { final IRecord record = (IRecord)records.nextElement(); record.persist(); record.marshall( stream ); } } /**