json4s always escapes unicode character €

Question

I try pretty-writing a JString containing a € character with json4s as follows:

import org.joda.time.format.ISODateTimeFormat
import org.joda.time.{DateTime,