Fixing pagination to support the new mechanism (PagingDelegate is no longer supported in devkit, now the correct class for @Paged is ProviderAwarePagingDelegate)