code: public void dump(PrintStream out)
      {
          out.println(this+":");
          out.println(super.toString());
          out.println(_roles);
      }
docs: /* ------------------------------------------------------------