(String unencoded)
| 1555 | |
| 1556 | |
| 1557 | static String urlencode(String unencoded) { |
| 1558 | try { |
| 1559 | return URLEncoder.encode(unencoded, "UTF-8"); |
| 1560 | } |
| 1561 | catch(UnsupportedEncodingException e) { |
| 1562 | // should never happen |
| 1563 | throw new RuntimeException("Could not url encode to UTF-8", e); |
| 1564 | } |
| 1565 | } |
| 1566 | |
| 1567 | static XMLReader createXMLReader() { |
| 1568 | try { |