private synchronized void subtractRange(AddressRange range) {
		myCurrentAddressSet.delete(range);
		listModel.setData(myCurrentAddressSet.toList());
		notifyListeners();
	}
Panel for manually adjusting address sets.
Ghidra/Features/VersionTracking/src/main/java/ghidra/feature/vt/gui/wizard/add/ChooseAddressSetEditorPanel.java