d560287">~File</a>();
<a name="l00153"></a>00153   file3.<a class="code" href="classbadgerdb_1_1_file.html#97fd6e3ae8dd11be883289b69d560287">~File</a>();
<a name="l00154"></a>00154   file4.<a class="code" href="classbadgerdb_1_1_file.html#97fd6e3ae8dd11be883289b69d560287">~File</a>();
<a name="l00155"></a>00155   file5.<a class="code" href="classbadgerdb_1_1_file.html#97fd6e3ae8dd11be883289b69d560287">~File</a>();
<a name="l00156"></a>00156 
<a name="l00157"></a>00157   <span class="comment">//Delete files<