This comment is not relevant since there is no MobileAgents.txt. Did you copy this code snippet from somewhere?