From a4d4111195883a5b4f40344c3958bfb0d0cc7777 Mon Sep 17 00:00:00 2001
From: Harald Kuhr <harald.kuhr@gmail.com>
Date: Wed, 27 Apr 2011 14:13:48 +0200
Subject: [PATCH] Added identifier (id() method) and made toString method
 return something more readable.

---
 .../src/main/java/com/twelvemonkeys/lang/Platform.java      | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java b/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java
index 15478d10..6c228fab 100755
--- a/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java
+++ b/common/common-lang/src/main/java/com/twelvemonkeys/lang/Platform.java
@@ -236,8 +236,12 @@ public final class Platform {
             return name;
         }
 
-        public String toString() {
+        public String id() {
             return id;
         }
+
+        public String toString() {
+            return String.format("%s (%s)", id, name);
+        }
     }
 }