--- a/test/sematest/TestGUI.java	Thu Oct 09 17:26:55 2008 +0900
+++ b/test/sematest/TestGUI.java	Fri Oct 10 14:10:15 2008 +0900
@@ -34,6 +34,7 @@
 	}
 
 	public void update(LinkedList<Session> slist, LinkedList<Editor> elist) {
+		int i = 0;
 		this.slist = slist;
 		this.elist = elist;
 		// fair and deterministic select session for an empty editor
@@ -42,10 +43,11 @@
 		for(Editor e :elist) {
 			if (!e.hasSession()) {
 				SessionManagerEvent event = new SelectButtonEvent(e, s, manager);
-				ns.writeLog("Select session "+s.getSID()+" and editor "+e.getEID());
+				ns.writeLog("Select session "+s.getSID()+" and editor "+i);
 				manager.buttonPressed(event);
 				s = slist.get(count++ % slist.size());
 			}
+			i++;
 		}
 	}