public void startAllAgents() { Enumeration<SimpleJasonAgent> e = getAgents().elements(); while (e.hasMoreElements()) { SimpleJasonAgent j = e.nextElement(); if (!j.getHasStarted()) j.run(); } }