#1405 Sessions plugin - saving/loading problem ftp user

[Ottar]

There's an error when saving a session with files that are opened from a ftp-server and where you need to use domain name and user name to log on to the ftp-server.
An example:
I open file: ftp://domainname\user@host.com:21/file.txt
Sessions saves this: ftp://domainname/user@host.com:21/file.txt
When I open the session jEdit tries to open: ftp://domainname:21/user@host.com:21/file.txt

[Steve Jakob]

<rant>Good grief, I hate having to work around Microsoft crap. Whoever decided to use backslash instead of forward slash as the separator in Windows deserves to be pilloried.</rant>

The root cause is a fix applied to the Session class in revision 8658 to resolve an issue with Windows paths where any instance of "\u" in a path was being interpreted incorrectly (since this is the Unicode escape sequence in Java). The solution at that time was to change backslash instances in file paths to a forward slash. Any solution for this current problem would need to take the previous fix into account.