JXURLEncoding docs