title: JDA 4.2 how to get all users that have a specific role?
body: <p>I'm looking to receive all discord users from a guild that have a specific role.</p>
  <p>Since <code>.getGuild().getMembersWithRoles([role]);</code> only search cached users I don't know how to do it.
  Note, the discord server has multiple thousand users so caching everything would be bad.</p>
  <p>I searched for something like: <code>JDABot.retrieveUserByRole([role]);</code> but didn't find anything.</p>
  <p>JDA Version: <code>4.2.0_214-withDependencies</code></p>