protected void copyTo(
     pt.ist.fenixframework.backend.jvstmojb.pstm.OneBoxDomainObject.DO_State newState) {
   super.copyTo(newState);
   DO_State newCasted = (DO_State) newState;
   newCasted.type = this.type;
   newCasted.process = this.process;
 }
 protected void readStateFromResultSet(
     java.sql.ResultSet rs,
     pt.ist.fenixframework.backend.jvstmojb.pstm.OneBoxDomainObject.DO_State state)
     throws java.sql.SQLException {
   super.readStateFromResultSet(rs, state);
   DO_State castedState = (DO_State) state;
   set$type(
       pt.ist.fenixframework.backend.jvstmojb.repository.ResultSetReader.readEnum(
           org.fenixedu.academic.domain.phd.seminar.PublicPresentationSeminarProcessStateType
               .class,
           rs,
           "TYPE"),
       state);
   castedState.process =
       pt.ist.fenixframework.backend.jvstmojb.repository.ResultSetReader.readDomainObject(
           rs, "OID_PROCESS");
 }