# HG changeset patch
# User casties
# Date 1393082758 28800
# Node ID 9d3885d1681e1f854c8cecb4f9956cc817f6d198
# Parent  39bc52f9b10296702a3cd3d6680d2b2b0e1048be
for nicer log messages.

diff -r 39bc52f9b102 -r 9d3885d1681e src/main/java/de/mpiwg/itgroup/annotations/Person.java
--- a/src/main/java/de/mpiwg/itgroup/annotations/Person.java	Sat Feb 22 07:12:37 2014 -0800
+++ b/src/main/java/de/mpiwg/itgroup/annotations/Person.java	Sat Feb 22 07:25:58 2014 -0800
@@ -69,4 +69,16 @@
         }
         return name;
     }
+
+    /* (non-Javadoc)
+     * @see java.lang.Object#toString()
+     */
+    @Override
+    public String toString() {
+        String s = "PERSON["+id+"]";
+        if (name != null) {
+            s += ": "+name;
+        }
+        return s;
+    }
 }