While trying to convert the library manager preference from a table to a
tree (not as easy as i thought) I believe I have found a workaround for the
issue with spaces in the installation path.
I'm creating an helper class InstallPathHelper which should provide a
single entry point to resolve the installation path and anything below that.
The main trick is not to use either URL or URI representation of the path:
those would require a lot of escaping and fixing. Instead
using Platform.getInstallLocation().toString() seems working nicely on my
Win10.
I'm currently working only within the Manager and related classes, but I
believe it can be used in multiple places and having one single entry point
to it should simplify fixing future path issues.
Would you agree?