public static final String mangleChar(char ch){
  char[] result=new char[5];
  result[0]='_';
  result[1]=Character.forDigit((ch >> 12) & 0xf,16);
  result[2]=Character.forDigit((ch >> 8) & 0xf,16);
  result[3]=Character.forDigit((ch >> 4) & 0xf,16);
  result[4]=Character.forDigit(ch & 0xf,16);
  return new String(result);
}

public static final String mangleChar ( char ch ) { char [ ] result = new char [ 5 ] ; result [ 0 ] = '_' ; result [ 1 ] = Character . forDigit ( ( ch > > 12 ) & 0xf , 16 ) ; result [ 2 ] = Character . forDigit ( ( ch > > 8 ) & 0xf , 16 ) ; result [ 3 ] = Character . forDigit ( ( ch > > 4 ) & 0xf , 16 ) ; result [ 4 ] = Character . forDigit ( ch & 0xf , 16 ) ; return new String ( result ) ; }
mangle the specified character to create a legal java class name .
