/*----------------------------------------------------------------------*/
 public String toString() {
   if (pc != null) {
     return pc.getName()
         + " ("
         + pc.getRace().getName()
         + " "
         + pc.getCharacterClass().getName()
         + ", lvl "
         + pc.getLevel()
         + ")";
   } else {
     return "";
   }
 }