@Override
 public void setValue(
     org.fenixedu.academic.domain.residence.StudentsPerformanceReport o1,
     org.fenixedu.academic.domain.ExecutionSemester o2) {
   ((StudentsPerformanceReport_Base.DO_State) o1.get$obj$state(true)).executionSemester =
       o2;
 }
 @Override
 public org.fenixedu.academic.domain.ExecutionSemester getValue(
     org.fenixedu.academic.domain.residence.StudentsPerformanceReport o1) {
   return ((StudentsPerformanceReport_Base.DO_State) o1.get$obj$state(false))
       .executionSemester;
 }