void reportElements(DefaultMutableTreeNode out) {
if (elements != null) {
elements.reportIndented(out, null);
}
}
/** Write information about all the elements to the report */
void reportElements(IndentingPrintWriter out) {
if (elements != null) {
elements.reportIndented(out, null);
out.println();
}
}