switchOffsetStack.add( new SwitchDetails( dbc.getPC(), dbc.getSwitchOffsets(), dbc.getDefaultSwitchOffset()));
SwitchDetails details = new SwitchDetails( dbc.getPC(), dbc.getSwitchOffsets(), dbc.getDefaultSwitchOffset());  int size = switchOffsetStack.size(); while (--size >= 0) { SwitchDetails existingDetail = switchOffsetStack.get(size); if (details.switchPC > (existingDetail.switchPC + existingDetail.swOffsets[existingDetail.swOffsets.length-1])) switchOffsetStack.remove(size); } switchOffsetStack.add(details);
	public void enterSwitch( DismantleBytecode dbc ) {		switchOffsetStack.add(				new SwitchDetails( dbc.getPC(), 								   dbc.getSwitchOffsets(),								   dbc.getDefaultSwitchOffset()));	}