/** GMT timezone - all HTTP dates are on GMT */
 static {
   urlEncoder = new URLEncoder();
   urlEncoder.addSafeCharacter('-');
   urlEncoder.addSafeCharacter('_');
   urlEncoder.addSafeCharacter('.');
   urlEncoder.addSafeCharacter('*');
   urlEncoder.addSafeCharacter('/');
 }
 /**
  * URL rewriter.
  *
  * @param path Path which has to be rewritten
  */
 protected String rewriteUrl(String path) {
   return urlEncoder.encode(path);
 }