public void dumpInstruction(alterrs.jode.decompiler.TabbedPrintWriter writer)
			throws java.io.IOException {
		writer.closeBraceContinue();
		writer.print("catch (");
		writer.printType(exceptionType);
		writer.print(" "
				+ (exceptionLocal != null ? exceptionLocal.getName() : "PUSH")
				+ ")");
		writer.openBrace();
		writer.tab();
		catchBlock.dumpSource(writer);
		writer.untab();
	}