private void killAgentImages() { AID[] ids = getAgentImages(); for (int i = 0; i < ids.length; ++i) { handleEnd(ids[i]); } if (agentImages.size() > 0) { myLogger.log(Logger.WARNING, "# " + agentImages.size() + " zombie agent images found."); agentImages.clear(); } }