throw new MARSHAL("String expected");
MARSHAL m = new MARSHAL("String expected"); m.minor = Minor.ClassCast; throw m;
  public void write_value(OutputStream ostream, Serializable a_string)  {    try      {        ostream.write_string((String) a_string);      }    catch (ClassCastException ex)      {        throw new MARSHAL("String expected");      }  }