static List<ActivateMatcher> makeAllFor(int addScore, ParamSpec focusSpec) {
			ActivateMatcher hasFocusTime = new ActivateMatcher(addScore + 3, List.of(
				focusSpec,
				new TypeParamSpec("time", String.class)));
			ActivateMatcher hasFocusSnap = new ActivateMatcher(addScore + 2, List.of(
				focusSpec,
				new TypeParamSpec("snap", Long.class)));
			ActivateMatcher hasFocus = new ActivateMatcher(addScore + 1, List.of(
				focusSpec));
			return matchers(hasFocusTime, hasFocusSnap, hasFocus);
		}
TODO: RemoteMethod parameter descriptions should also use ValStr. This map conversion
stuff is getting onerous and hacky.
Ghidra/Debug/Debugger-rmi-trace/src/main/java/ghidra/app/plugin/core/debug/service/tracermi/TraceRmiTarget.java