HJson fails to quote control character with \uXXXX in String #34

package de.softquadrat.jdbc.json;

import java.nio.charset.StandardCharsets;

import org.hjson.JsonValue;
import org.hjson.Stringify;

public class Test {
	public static void main(String[] args) {
		JsonValue hjson = JsonValue.readHjson("{ \"aaa\" : \"xxx\\u000byyy\" }");
		String s = hjson.toString(Stringify.FORMATTED);
		System.out.println(hexdump(s));
		JsonValue.readHjson(s);
	}

	// from https://gist.github.com/geekman/5243537
	public static String hexdump(String s) {
		byte[] data = s.getBytes(StandardCharsets.UTF_8);
		final int perRow = 16;
		final String hexChars = "0123456789ABCDEF";
		StringBuilder dump = new StringBuilder();
		StringBuilder chars = null;
		for (int i = 0; i < data.length; i++) {
			int offset = i % perRow;
			if (offset == 0) {
				chars = new StringBuilder();
				dump.append(String.format("%04x", i))
					.append("  ");
			}
			int b = data[i] & 0xFF;
			dump.append(hexChars.charAt(b >>> 4))
				.append(hexChars.charAt(b & 0xF))
				.append(' ');
			chars.append((char) ((b >= ' ' && b <= '~') ? b : '.'));
			if (i == data.length - 1 || offset == perRow - 1) {
				for (int j = perRow - offset - 1; j > 0; j--)
					dump.append("-- ");
				dump.append("  ")
					.append(chars)
					.append('\n');
			}
		}
		return dump.toString();
	}
}