protected String escapeIRName ( String name ) { StringBuffer b = new StringBuffer ( ) ; for ( int i = 0 ; i < name . length ( ) ; ++ i ) { char c = name . charAt ( i ) ; if ( c < 256 ) b . append ( c ) ; else b . append ( "\\U" ) . append ( toHexString ( ( int ) c ) ) ; } return b . toString ( ) ; }
Escape non - ISO characters for an IR name .