public void encode(Encoder encoder) throws IOException {
		encoder.openElement(ELEM_JUMPTABLE);
		AddressXML.encode(encoder, opAddress);
		if (addressTable != null) {
			for (Address element : addressTable) {
				encoder.openElement(ELEM_DEST);
				AddressXML.encodeAttributes(encoder, element);
				encoder.closeElement(ELEM_DEST);
			}
		}
		if (override != null) {
			override.encode(encoder);
		}
		encoder.closeElement(ELEM_JUMPTABLE);
	}
Decode a JumpTable object from the stream.
@param decoder is the stream decoder
@throws DecoderException for invalid encodings
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/JumpTable.java