Mangle the specified character to create a legal Java class name.
String s = Integer.toHexString(ch);
int nzeros = 5 - s.length();
char[] result = new char[6];
result[0] = '_";
for (int i = 1; i <= nzeros; i++) {
result[i] = '0";
}
for (int i = nzeros + 1, j = 0; i < 6; i++, j++) {
result[i] = s.charAt(j);
}
return new String(result);