public synchronized void update(Program program, AddressSetView addrSet) {
		boolean restrictedView = (addrSet != null && !addrSet.isEmpty()); 
		ArrayList<String> list = new ArrayList<String>();

		if (program != null) {
			PropertyMapManager propMgr = program.getUsrPropertyManager();
			Iterator<String> iter = propMgr.propertyManagers();
			while (iter.hasNext()) {
				String name = iter.next();
				if (restrictedView) {
					PropertyMap map = propMgr.getPropertyMap(name);
					if (map.intersects(addrSet)) {
						list.add(name);
					}
				}
				else {
					list.add(name);	
				}
			}
		}
		propertyNames = new String[list.size()];
		list.toArray(propertyNames);
		Arrays.sort(propertyNames);

		fireTableDataChanged();
	}
@param currentProgram
@param currentSelection
@param searchMarks
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/debug/propertymanager/PropertyManagerTableModel.java