Improvements made to defensive agent. More commenting added. Included a stop agent based on JPF agent to test single defender.