--- /dev/null
+#bootstrap properties for the repository startup servlet.
+#Tue Sep 09 15:17:37 CEST 2008
+java.naming.factory.initial=org.apache.jackrabbit.core.jndi.provider.DummyInitialContextFactory
+repository.home=jackrabbit
+rmi.enabled=true
+repository.config=jackrabbit/repository.xml
+repository.name=jackrabbit.repository
+rmi.host=193.48.120.93
+java.naming.provider.url=http://www.apache.org/jackrabbit
+jndi.enabled=true
+rmi.port=1111