| changeset 10419 | 12c063b39232 |
| parent 5506 | 202f599c92aa |
| child 14342 | 8435a30053c1 |
| 10418:1d57022fdb6e | 10419:12c063b39232 |
|---|---|
91 try { |
91 try { |
92 byte[] b = c.getBytes("UTF-8"); |
92 byte[] b = c.getBytes("UTF-8"); |
93 this.value = b[0]; |
93 this.value = b[0]; |
94 } catch (UnsupportedEncodingException e) { |
94 } catch (UnsupportedEncodingException e) { |
95 // ignore, "UTF-8" is always a known encoding |
95 // ignore, "UTF-8" is always a known encoding |
96 throw new InternalError("Unknown encoding"); |
96 throw new InternalError("Unknown encoding", e); |
97 } |
97 } |
98 } |
98 } |
99 } |
99 } |