*/
protected void print(int depth, String name) {
name = prefix(depth, false)
+ (name == null ? "" : name).replace("\t", " ");
*/
protected void print(int depth, String name) {
name = prefix(depth, false)
+ (name == null ? "" : name).replace("\t", " ");