law(monitoring,language(java)) public class Monitoring extends Law{ public static final String monitor = "monitor@research.rutgers.edu"; public void adopted(String arg) { doForward(Self, "justCreated", monitor, ThisLawName); } public void sent(String source, String message, String dest) { String monitorMessage = "message(" + message + "," + dest + ")"; doForward(source, monitorMessage, monitor, ThisLawName); doForward(); } public void arrived(String source, String message, String dest) { doDeliver(); } public void disconnected() { doQuit(); } }