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;
 }
 protected void create$allLists() {
   super.create$allLists();
 }
 protected void checkDisconnected() {
   super.checkDisconnected();
   DO_State castedState = (DO_State) this.get$obj$state(false);
 }
 @Override
 protected void init$Instance(boolean allocateOnly) {
   super.init$Instance(allocateOnly);
 }