public void writeUserException__(Ice.UserException ex, Ice.FormatType format) { BasicStream os__ = startWriteParams__(format); os__.writeUserException(ex); endWriteParams__(false); }