From d4ba90c21d6143752f6ecdc39507b08554812e19 Mon Sep 17 00:00:00 2001
From: Wizjany <wizjany@gmail.com>
Date: Wed, 24 Aug 2011 23:48:09 -0400
Subject: [PATCH] Sort /region info player list alphabetically.

---
 .../java/com/sk89q/worldguard/domains/DefaultDomain.java   | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/main/java/com/sk89q/worldguard/domains/DefaultDomain.java b/src/main/java/com/sk89q/worldguard/domains/DefaultDomain.java
index 6cc44578..e5eb298e 100644
--- a/src/main/java/com/sk89q/worldguard/domains/DefaultDomain.java
+++ b/src/main/java/com/sk89q/worldguard/domains/DefaultDomain.java
@@ -19,9 +19,12 @@
 
 package com.sk89q.worldguard.domains;
 
+import java.util.ArrayList;
+import java.util.Collections;
 import java.util.HashSet;
 import java.util.Iterator;
 import java.util.LinkedHashSet;
+import java.util.List;
 import java.util.Set;
 
 import com.sk89q.worldguard.LocalPlayer;
@@ -87,7 +90,9 @@ public int size() {
     
     public String toPlayersString() {
         StringBuilder str = new StringBuilder();
-        for (Iterator<String> it = players.iterator(); it.hasNext(); ) {
+        List<String> output = new ArrayList<String>(players);
+        Collections.sort(output, String.CASE_INSENSITIVE_ORDER);
+        for (Iterator<String> it = output.iterator(); it.hasNext();) {
             str.append(it.next());
             if (it.hasNext()) {
                 str.append(", ");