/** * 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