(String str)
| 8211 | // using toURI() and URI.toURL()." |
| 8212 | // https://docs.oracle.com/javase/8/docs/api/java/net/URL.html |
| 8213 | static public String urlDecode(String str) { |
| 8214 | try { |
| 8215 | return URLDecoder.decode(str, "UTF-8"); |
| 8216 | } catch (UnsupportedEncodingException e) { // safe per the JDK source |
| 8217 | return null; |
| 8218 | } |
| 8219 | } |
| 8220 | |
| 8221 | |
| 8222 |