private Mathsat5Settings(Configuration config, @Nullable PathCounterTemplate pLogfile) throws InvalidConfigurationException { config.inject(this); logfile = pLogfile; MapSplitter optionSplitter = Splitter.on(',') .trimResults() .omitEmptyStrings() .withKeyValueSeparator(Splitter.on('=').limit(2).trimResults()); try { furtherOptionsMap = ImmutableMap.copyOf(optionSplitter.split(furtherOptions)); } catch (IllegalArgumentException e) { throw new InvalidConfigurationException( "Invalid Mathsat option in \"" + furtherOptions + "\": " + e.getMessage(), e); } }