public List<String> recv_getCourseInventory() throws org.apache.thrift.TException
    {
      getCourseInventory_result result = new getCourseInventory_result();
      receiveBase(result, "getCourseInventory");
      if (result.isSetSuccess()) {
        return result.success;
      }
      throw new org.apache.thrift.TApplicationException(org.apache.thrift.TApplicationException.MISSING_RESULT, "getCourseInventory failed: unknown result");
    }