public void encode(Encoder encoder) throws IOException {
			encoder.openElement(ELEM_BASICOVERRIDE);
			for (Address element : destlist) {
				encoder.openElement(ELEM_DEST);
				AddressXML.encodeAttributes(encoder, element);
				encoder.closeElement(ELEM_DEST);
			}
			// We could add  <normaddr> and <normhash> elements to specify switch variable
			// We could add a <startval> tag to indicate starting value of the switch variable
			encoder.closeElement(ELEM_BASICOVERRIDE);
		}
@return Number of entries in table
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/pcode/JumpTable.java