="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;        mainJNI.delete_IntVarLocalSearchOperator(swigCPtr);</div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;      }</div>
<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;      swigCPtr = 0;</div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    }</div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    super.dele