mobile agents in scala