private static String unmangleName(String filename) {
   return TextUtil.urlDecodeUTF8(filename);
 }