Method getOption

src/main/java/matcher/srcprocess/HtmlPrinter.java:1966–1968

(ConfigOption option)

	}

	private Optional<ConfigurationOption> getOption(ConfigOption option) {
		return configuration.get(new DefaultConfigurationOption(option));
	}

	// Matcher-introduced methods