public void killAgentOnFE(String name) throws IMTPException, NotFoundException { try { myFrontEnd.killAgent(name); } catch (PostponedException pe) { // Hide the delivery delay to the rest of the platform deadAgent(name); } }