URL manipulation in HTML tables fails for tables in paths with spaces

[PhilippWendler]

The following fails:

• Create an HTML table with table-generator and store it in a directory like .../test test/....
• Open generated table.
• Open a plot tab and change a setting in the drop down.

This leads to the page being reloaded but with a wrong URL, the space in the directory name is rewritten from %20 to %2520. Manually deleting the 25 from the URL makes it work again. It seems that at some point we double-encode the URL and we need to fix that.

Tested with BenchExec 3.19 and 3.21.

Interestingly, adding filters does not seem to produce the buggy behavior.

[PhilippWendler]

Interestingly, this works nicely with the latest git version of CPAchecker. It seems it was fixed with one of the recent improvements regarding our URL-state handling, maybe #1005 or #1006.

I just wanted to have this bug and the fix visible in the issue tracker for others to be able to find it.