better transformation of Java Strings into JSON-compliant String Literals