Fix for empty filenames on iOS devices and wrong filenames on Android…

… devices.

zweb/src/org/zkoss/web/servlet/http/Https.java

@@ -576,8 +576,9 @@ private static String encodeFilename(HttpServletRequest request, String filename
 				if (agent.contains("Trident")) {
 					filename = URLEncoder.encode(filename, "UTF-8");
 				} else if (agent.contains("Mozilla")) {
+					byte[] bytes = filename.getBytes("UTF-8");
 					filename = "";
-	                for (byte b: filename.getBytes("UTF-8")) {
+	                for (byte b: bytes) {
 	                	filename += (char)(b & 0xff);
 	                }
 				}