/**
* 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();
}
}
