void clearSelection(EventOrigin origin) {
		currentEventOrigin = origin;
		super.clearSelection();
		currentEventOrigin = EventOrigin.USER_GENERATED;
	}
This method allows the GTree's JTree to tell this selection model when a selection has
been removed due to the user clicking.
<P>
Implementation Note: this method is needed because {@link #removeSelectionPaths(TreePath[])}
marks all events as {@link EventOrigin#INTERNAL_GENERATED}.  Our intention is to mark any
tree housekeeping as internal, with user operations being marked appropriately.

@param path the path that is to be removed
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/internal/GTreeSelectionModel.java