Update javadoc on setPlayerProfile

Spigot-API-Patches/0090-Player.setPlayerProfile-API.patch

@@ -1,4 +1,4 @@
-From dbee4791c374b48bb95668084b14f29c58fda4d6 Mon Sep 17 00:00:00 2001
+From f5c60e86827ed8e6029637444ad16aa0545169d2 Mon Sep 17 00:00:00 2001
 From: Aikar <aikar@aikar.co>
 Date: Sun, 18 Mar 2018 12:28:55 -0400
 Subject: [PATCH] Player.setPlayerProfile API
@@ -6,7 +6,7 @@ Subject: [PATCH] Player.setPlayerProfile API
 This can be useful for changing name or skins after a player has logged in.
 
 diff --git a/src/main/java/org/bukkit/entity/Player.java b/src/main/java/org/bukkit/entity/Player.java
-index a882323d..eac8195f 100644
+index a882323d..87a9b750 100644
 --- a/src/main/java/org/bukkit/entity/Player.java
 +++ b/src/main/java/org/bukkit/entity/Player.java
 @@ -3,6 +3,7 @@ package org.bukkit.entity;
@@ -17,7 +17,7 @@ index a882323d..eac8195f 100644
  import org.bukkit.Achievement;
  import org.bukkit.ChatColor;
  import org.bukkit.Effect;
-@@ -1713,6 +1714,18 @@ public interface Player extends HumanEntity, Conversable, CommandSender, Offline
+@@ -1713,6 +1714,19 @@ public interface Player extends HumanEntity, Conversable, CommandSender, Offline
       *         was {@link org.bukkit.event.player.PlayerResourcePackStatusEvent.Status#SUCCESSFULLY_LOADED}
       */
      boolean hasResourcePack();
@@ -29,8 +29,9 @@ index a882323d..eac8195f 100644
 +    PlayerProfile getPlayerProfile();
 +
 +    /**
-+     * Changes the PlayerProfile for this player. This will cause all
-+     * @param profile
++     * Changes the PlayerProfile for this player. This will cause this player
++     * to be reregistered to all clients that can currently see this player
++     * @param profile The new profile to use
 +     */
 +    void setPlayerProfile(PlayerProfile profile);
      // Paper end