modified:   src/domini/Agent.java
	modified:   src/domini/Algorithm.java