Hi, Sorry, it should read: "it is never required to delete the file manually.".
Some more details: if the file exists while you start up the repository (because the process was killed previously), Jackrabbit will try to delete it automatically. That's why it is never required to delete it manually. Actually, deleting the file is dangerous. Regards, Thomas
