better transformation of Java Strings into JSON-compliant String Literal...

...s