modified:   src/org/orange/spike/LfaProcess.java
	modified:   src/org/orange/spike/UndirectedLfaProcess.java