configuration.defaultEncoding = getDefaultEncoding();
configuration.setSynchronizeNonMembers(this.resyncNonMembers.isSelected());
try {
configuration.setDatePattern(validateDatePattern());
} catch (Exception e) {
throw new ConfigurationException(
"Bad date pattern " + this.datePatternString.getText() + ", must be a valid" +
" java dateFormat pattern");
}
final List<MksServerInfo> ignoredServersListOld = parseIgnoredServers(configuration.getIgnoredServers());
final List<MksServerInfo> ignoredServersListNew;
try {
ignoredServersListNew = parseIgnoredServers(ignoredServersTA.getText());
} catch (IllegalArgumentException e) {
throw new ConfigurationException(e.getMessage());
}
for (final MksServerInfo serverInfo : ignoredServersListOld) {
if (!ignoredServersListNew.contains(serverInfo)) {
configuration.serverIsSiServer(serverInfo, true);