public void dumpInstruction(TabbedPrintWriter writer)
			throws java.io.IOException {
		/*
		 * Only print the comment if jump null, since otherwise the block isn't
		 * completely empty ;-)
		 */
		if (jump == null)
			writer.println("/* empty */");
	}