/**
* Release Results
*
* @param resultIDs stored query identifier provided by client
*/
public void disposeWindow(ArrayList<Integer> resultIDs) {
// System.out.println("before cached id:" + m_results.keySet());
for (Integer queryResultID : resultIDs) m_results.remove(queryResultID);
// System.out.println("after cached id:" + m_results.keySet());
m_context.removeAllWindows();
} // releaseResults
