line"><a id="l00012" name="l00012"></a><span class="lineno">   12</span><span class="comment">    GNU Lesser General Public License for more details.</span></div>
<div class="line"><a id="l00013" name="l00013"></a><span class="lineno">   13</span><span class="comment"></span> </div>
<div class="line"><a id="l00014" name="l00014"></a><span class="lineno">   14</span><span class="comment">    You should have received a copy of the GNU Lesser General Public License</span></div>
<div class="line"><a id="l00015"