/** for debugging */ public String toString() { if (null == DO) return "NULL"; return DO.toString(); }
