Added a display name to Actors

worldedit-core/src/main/java/com/sk89q/worldedit/extension/platform/Actor.java

@@ -38,6 +38,15 @@ public interface Actor extends Identifiable, SessionOwner, Subject {
      */
     String getName();
 
+    /**
+     * Gets the display name of the actor. This can be a nickname, and is not guaranteed to be unique.
+     *
+     * @return The display name
+     */
+    default String getDisplayName() {
+        return getName();
+    }
+
     /**
      * Print a message.
      *

worldedit-core/src/main/java/com/sk89q/worldedit/extension/platform/PlayerProxy.java

@@ -99,6 +99,11 @@ public class PlayerProxy extends AbstractPlayerActor {
         return basePlayer.getName();
     }
 
+    @Override
+    public String getDisplayName() {
+        return basePlayer.getDisplayName();
+    }
+
     @Override
     public BaseEntity getState() {
         throw new UnsupportedOperationException("Can't withPropertyId() on a player");