#Updated by Install
#Thu Nov 23 10:25:44 GMT+01:00 2000
org.w3c.jigsaw.docurl=/User/Reference
org.w3c.jigsaw.serializer=org.w3c.tools.resources.serialization.xml.XMLSerializer
org.w3c.jigsaw.client.bufsize=8192
org.w3c.jigsaw.keepAlive=true
org.w3c.jigsaw.http.ClientFactory=org.w3c.jigsaw.http.socket.SocketClientFactory
org.w3c.jigsaw.client.debug=false
org.w3c.jigsaw.root=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw
org.w3c.jigsaw.root.name=root
org.w3c.jigsaw.root.class=org.w3c.jigsaw.resources.DirectoryResource
org.w3c.jigsaw.request.timeout=3000000
org.w3c.jigsaw.client.priority=5
org.w3c.jigsaw.propfile=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/config/admin-server.props
org.w3c.jigsaw.version.counter=4
org.w3c.jigsaw.port=8009
org.w3c.jigsaw.trace=false
org.w3c.jigsaw.config=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/configadm
org.w3c.jigsaw.checkSensitivity=false
