*/
public String toString(int tab) {
final StringBuffer buffer = new StringBuffer(tabString(tab));
+ buffer.append(toString());
+ return buffer.toString();
+ }
+
+ public String toString() {
+ final StringBuffer buffer = new StringBuffer();
if (silent) {
buffer.append('@');
}