added encodeRedirectURL to Dump servlet