// In this implementation, nothing calls stopThread(). // When we have a user interface to agents, this can be called. public void stopThread() { if (agentThread != null) { agentThread.stopAgent(); agentThread = null; } }