/** Debug printing function. */
 protected void dbgPrint(String s) {
   Debug.println(s);
 }
 /** Debug printing function. */
 protected void dbgPrint() {
   String stringrep = toString();
   Debug.println(stringrep);
 }