private boolean isDefaultParamName(String name) {
		if (name == null) {
			return true;
		}
		if (name.startsWith(Function.DEFAULT_PARAM_PREFIX)) {
			String num = name.substring(Function.DEFAULT_PARAM_PREFIX.length());
			try {
				Integer.parseInt(num);
				return true;
			}
			catch (NumberFormatException e1) {
				// Fall thru to false case.
			}
		}
		return false;
	}
@param name the parameter name
@return true if name is null or a default parameter name.
Ghidra/Test/IntegrationTest/src/screen/java/help/screenshot/RepositoryScreenShots.java