write_octet(value ? (byte) 1 : (byte) 0);
}
public void write_char(char value) {
CharConverter char_converter = __get_char_converter();
char_converter.write_char(this, value);
}
private CharConverter __get_char_converter() {
if (char_writer == null) {
char_writer = __orb().get_char_converter(getGIOPVersion());