445446447448449450451452453454455
} } finally { // cleanup stuff if (handle != null) handle.destroy(); } // 3. return resulting collection return result;