--- /dev/null
+// ServerEditorInterface.java\r
+// $Id: ServerEditorInterface.java,v 1.1 2010/06/15 12:25:56 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1998.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigadmin.editors;\r
+\r
+import org.w3c.jigadmin.RemoteResourceWrapper;\r
+\r
+/**\r
+ * Interface for server editors.\r
+ * @version $Revision: 1.1 $\r
+ * @author Benoît Mahé (bmahe@w3.org)\r
+ */\r
+public interface ServerEditorInterface extends EditorInterface {\r
+\r
+ /**\r
+ * Load or reload the server configuration.\r
+ * @param server the new server wrapper\r
+ */\r
+ public void setServer(RemoteResourceWrapper server);\r
+\r
+}\r