fix issue JabRef#3562 (inline 2)

PJozeph · Dec 29, 2017 · e1a2d2d · e1a2d2d
1 parent 96b082b
commit e1a2d2d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/org/jabref/gui/dbproperties/DatabasePropertiesDialog.java b/src/main/java/org/jabref/gui/dbproperties/DatabasePropertiesDialog.java
@@ -298,9 +298,9 @@ private void storeSettings() {
 
         SaveOrderConfig newSaveOrderConfig = getNewSaveOrderConfig();
 
-        // See if any of the values have been modified:
-        boolean saveOrderConfigChanged = !getNewSaveOrderConfig().equals(oldSaveOrderConfig);;
+        boolean saveOrderConfigChanged = !getNewSaveOrderConfig().equals(oldSaveOrderConfig);
 
+        // See if any of the values have been modified:
         if (saveOrderConfigChanged) {
             if (newSaveOrderConfig.equals(SaveOrderConfig.getDefaultSaveOrder())) {
                 metaData.clearSaveOrderConfig();