SwitchInstruction () { SwitchInstruction copy = (SwitchInstruction)super.clone(); copy.defaultDestination = defaultDestination; copy.destinations = destinations.clone(); copy.values = values.clone(); return copy; }