public static X10JavaSerializable $_deserialize_body(
RuntimeType rt, X10JavaDeserializer deserializer) throws IOException {
short classId = deserializer.readSerializationId();
Class<?> clazz = deserializer.getClassForID(classId);
rt.javaClass = clazz;
rt.numParams = deserializer.readByte();
// TODO parents needed?
return rt;
}
