@@ -87,11 +87,11 @@ } // Otherwise, encode char as defined in UTF-8 if (c < 0x80) { // 1 byte, 7 bits - out.write((int) c); + out.write(c); } else if (c < 0x800) { // 2 bytes, 11 bits out.write(0xC0 | (c >> 6)); // first 5 out.write(0x80 | (c & 0x3F)); // second 6