659660661662663664665666667668669
context.runCleanupTasks(); } context = null; if (result != null) try { result.clear(); } catch (final XMLDBException e) { } } if(client.queryHistory.isEmpty() || !((String)client.queryHistory.getLast()).equals(xpath)) { client.addToHistory(xpath);