String escapeForDoubleQuotedString(String value) { return value.replaceAll("\\", "\\\\").replaceAll('"', '\\"'); }