added escaped java chars to fix json encoding/decoding