public String toString() {
		try {
			java.io.StringWriter strw = new java.io.StringWriter();
			jode.decompiler.TabbedPrintWriter writer = new jode.decompiler.TabbedPrintWriter(
					strw);
			writer.println(super.toString());
			writer.tab();
			dumpSource(writer);
			return strw.toString();
		} catch (java.io.IOException ex) {
			return super.toString();
		}
	}