In the java backend StringTools.urlEncode encodes characters like ~ () and ', whereas the js backend doesn't. StringTools.urlDecode also works differently for non-ASCII characters, in particular java ...

Add a description, image, and links to the java-urlencode topic page so that developers can more easily learn about it.