#563 wedav password with restricted chars causes DAV problem

[Greg Schueler]

If the webdav username or password used by Workbench (defined in runtime.properties) uses any of the reserved characters for the "authority" component of a URI, then Workbench may have issues accessing WebDAV.

From RFC 2396: 'the characters ";", ":", "@", "?", and "/" are reserved.'

workaround: manually url-encode these characters within the runtime.properties file, using the correct %-escape sequence

; = %3b

=%3a
@=%40
?=%3f
/=%2f

fix: update DAVMgr to encode username/password before requesting the URL

[Greg Schueler]

branch 3-4: rev 9993: fix DAVMgr to perform encoding on username/password when accessing DAV

branch 3-5: rev 9994