public Course recv_getCourse() throws CourseNotFound, org.apache.thrift.TException
    {
      getCourse_result result = new getCourse_result();
      receiveBase(result, "getCourse");
      if (result.isSetSuccess()) {
        return result.success;
      }
      if (result.cnf != null) {
        throw result.cnf;
      }
      throw new org.apache.thrift.TApplicationException(org.apache.thrift.TApplicationException.MISSING_RESULT, "getCourse failed: unknown result");
    }