Fix potential edge case unseen messages

app/src/main/java/eu/faircode/email/ServiceSynchronize.java

@@ -154,17 +154,18 @@ public class ServiceSynchronize extends ServiceBase {
 
             @Override
             public void onChanged(TupleMessageStats stats) {
-                if (stats != null) {
+                if (stats == null)
-                    boolean unseen_ignored = prefs.getBoolean("unseen_ignored", false);
+                    stats = new TupleMessageStats();
-                    if (!unseen_ignored || stats.ignored == null)
-                        stats.ignored = 0;
 
-                    if (!stats.equals(lastStats)) {
+                boolean unseen_ignored = prefs.getBoolean("unseen_ignored", false);
-                        Log.i("Stats " + stats);
+                if (!unseen_ignored || stats.ignored == null)
-                        lastStats = stats;
+                    stats.ignored = 0;
 
-                        setUnseen(stats.unseen - stats.ignored);
+                if (!stats.equals(lastStats)) {
-                    }
+                    Log.i("Stats " + stats);
+                    lastStats = stats;
+
+                    setUnseen(stats.unseen - stats.ignored);
                 }
             }
         });

app/src/main/java/eu/faircode/email/TupleMessageStats.java

@@ -25,8 +25,8 @@ import androidx.annotation.Nullable;
 import java.util.Objects;
 
 public class TupleMessageStats {
-    public Integer unseen;
+    public Integer unseen = 0;
-    public Integer ignored;
+    public Integer ignored = 0;
 
     @Override
     public boolean equals(@Nullable Object obj) {