/** * removes the result table. Could be called at data query execution, or at cancelling Not * necessary when replacing with a new result, just to remove old results that are outdated */ private synchronized void removeResultTable() { OWLResultSetTableModel tm = getTableModel(); if (tm != null) { tm.close(); } }