#114 Javadoc: Paths bug

[Rafael Rodríguez]

In Javadoc configuration window when I enter a
backslash (\) in "Source files path list" entry of Paths
section, or in "Destination directory" of Directories
section (for example to escape ":" character in a
windows path) all is right, but next time i want to use
javadoc plugin the backslash is duplicated.

Each time i open javadoc plugin configuration window
the number of backslash grows up, and jEdit slow down.

Currently my jdoc.settings file have a size of 4MB with
two very long lines:

...
settings.jdoc.destination=C\\\...\\\\\:/RRA/clases
...
settings.jdoc.sourcepath=C\\\...\\\\\:/RRA/doc
...

I am using the last versions of jEdit and javadoc plugin.