code: @Override
  	public void applyConfig(final ConfigSettings config)
  	{
  		Object o = config
  				.getConfigParameter(ConfigurationKeys.VERIFICATION_DIFF);
  		if (o != null) {
  			controller.setEnableDiffVerification((Boolean) o);
  		}
  		else {
  			controller.setEnableDiffVerification(false);
  		}
  
  		o = config.getConfigParameter(ConfigurationKeys.VERIFICATION_ENCODING);
  		if (o != null) {
  			controller.setEnableEncodingVerification((Boolean) o);
  		}
  		else {
  			controller.setEnableEncodingVerification(false);
  		}
  
  		o = config
  				.getConfigParameter(ConfigurationKeys.MODE_STATISTICAL_OUTPUT);
  		if (o != null) {
  			controller.setEnableStatsOutput((Boolean) o);
  		}
  		else {
  			controller.setEnableStatsOutput(false);
  		}
  
  		o = config.getConfigParameter(ConfigurationKeys.LOGGING_PATH_DEBUG);
  		if (o != null) {
  			controller.setEnableDebugOutput(true);
  			this.debugOutputField.setText((String) o);
  		}
  		else {
  			controller.setEnableDebugOutput(false);
  			this.debugOutputField.setText("");
  		}
  	}
docs: Reads the configuration parameters described in the panel from the
  ConfigSettings and and sets the contained values.
  
  @param config
  Reference to the ConfigSettings object