public TableSwitchInsnNode(final int min, final int max,
			final LabelNode dflt, final LabelNode[] labels) {
		super(Opcodes.TABLESWITCH);
		this.min = min;
		this.max = max;
		this.dflt = dflt;
		this.labels = new ArrayList();
		if (labels != null) {
			this.labels.addAll(Arrays.asList(labels));
		}
	}