//ENCODING: UTF-8
@lombok.ToString
class EncodingUtf8 {
	String foo\u0e51๑ = "\u000e	\10 ";
}