add intersectFSM.java and dotEdge