cz.cuni.amis.pogamut.defcon.agentmanager (pogamut-defcon 3.6.1-SNAPSHOT API)