public void visitTableSwitchInsn(final int min, final int max,
			final Label dflt, final Label[] labels) {
		buf.setLength(0);
		buf.append(tab2).append("TABLESWITCH\n");
		for (int i = 0; i < labels.length; ++i) {
			buf.append(tab3).append(min + i).append(": ");
			appendLabel(labels[i]);
			buf.append('\n');
		}
		buf.append(tab3).append("default: ");
		appendLabel(dflt);
		buf.append('\n');
		text.add(buf.toString());

		if (mv != null) {
			mv.visitTableSwitchInsn(min, max, dflt, labels);
		}
	}