return char_converter;
}
public final char read_wchar() {
CharConverter converter = __get_wchar_converter();
return converter.read_char(this);
}
public CharConverter __get_wchar_converter() {
if (wchar_converter == null) {
wchar_converter = __orb().get_wchar_converter(getGIOPVersion());