how to convert char to string in jaca code example

Example 1: convert char to string java

char c = 'a';
String s = Character.toString(c);
//s == "a"

Example 2: char to string jva

char ch = 'a';
String.valueOf(ch);