(String string)
| 323 | } |
| 324 | |
| 325 | static String parseString(String string) { |
| 326 | // Remove surrounding quotes. Assume they are there. |
| 327 | string = string.substring(1, string.length() - 1); |
| 328 | |
| 329 | return string.replace("\\\"", "\"").replace("\\n", "\n").replace("\\\\", "\\"); |
| 330 | } |
| 331 | } |