Fix: Removing futures by index

anno-gui/src/main/java/org/genesys2/anno/gui/PushDialog.java

@@ -307,11 +307,8 @@ public class PushDialog extends Dialog {
 
 				for (int i = futures.size() - 1; i >= 0; i--) {
 					Future<?> future = futures.get(i);
-					if (future == null) {
-						continue;
-					}
-					if (future.isDone() || future.isCancelled()) {
-						futures.remove(future);
+					if (future == null || future.isDone() || future.isCancelled()) {
+						futures.remove(i);
 					} else {
 						future.cancel(true);
 					}
@@ -526,11 +523,8 @@ public class PushDialog extends Dialog {
 				do {
 					for (int i = futures.size() - 1; i >= 0; i--) {
 						Future<?> future = futures.get(i);
-						if (future == null) {
-							continue;
-						}
-						if (future.isDone()) {
-							futures.remove(future);
+						if (future == null || future.isDone()) {
+							futures.remove(i);
 						}
 					}