ConfigurationManager.getConfiguration().setUseMetrics(useMetricsCheckBox.isSelected());
// Load metrics configuration if check box is selected and
// we do not have a non-static metrics configuration loaded yet
if (useMetricsCheckBox.isSelected() && !ConfigurationManager.hasNonStaticMetricsConfiguration()) {
WoPeDMetricsConfiguration metricsConfig = new WoPeDMetricsConfiguration();
metricsConfig.initConfig();
ConfigurationManager.setMetricsConfiguration(metricsConfig);
}
ConfigurationManager.getConfiguration().setAlgorithmDecimalPlaces(Integer.parseInt(algorithmDecimalPlacesSpinner.getModel().getValue().toString()));
ConfigurationManager.getConfiguration().setVariableDecimalPlaces(Integer.parseInt(variableDecimalPlacesSpinner.getModel().getValue().toString()));