public void dumpSource(alterrs.jode.decompiler.TabbedPrintWriter writer)
			throws java.io.IOException {
		if (destination == null)
			writer.println("GOTO null-ptr!!!!!");
		else
			writer.println("GOTO " + destination.getLabel());
	}