galatea/src/galatea/agentmanager
