# HG changeset patch
# User pin
# Date 1220943687 -32400
# Node ID c121d1c5daeeda182d66e03d2f052ed2ade0630a
# Parent  7dbed9d1d213819a6c5c65187a4944ce7f047ff1
*** empty log message ***

diff -r 7dbed9d1d213 -r c121d1c5daee rep/SessionManager.java
--- a/rep/SessionManager.java	Tue Sep 09 15:33:39 2008 +0900
+++ b/rep/SessionManager.java	Tue Sep 09 16:01:27 2008 +0900
@@ -579,11 +579,11 @@
 		waitingCommandInMerge.add(set);
 	}
 
-	public List<Session> getSessionList() {
+	private List<Session> getSessionList() {
 		return sessionList;
 	}
 
-	public List<Editor> getEditorList() {
+	private List<Editor> getEditorList() {
 		return editorList;
 	}