@Override public String toString() { StringBuilder ret = new StringBuilder(super.toString()); ret.append("\n\t").append(theMatcher.toString().replaceAll("\n", "\n\t")); return ret.toString(); }