Simplify flushing of clipboards in ClipboardCommands

worldedit-core/src/main/java/com/sk89q/worldedit/command/ClipboardCommands.java

@@ -169,7 +169,7 @@ public class ClipboardCommands {
         } catch (Throwable e) {
             throw e;
         } finally {
-            saveDiskClipboard(clipboard);
+            clipboard.flush();
         }
         session.setClipboard(new ClipboardHolder(clipboard));
 
@@ -306,7 +306,7 @@ public class ClipboardCommands {
         } catch (Throwable e) {
             throw e;
         } finally {
-            saveDiskClipboard(clipboard);
+            clipboard.flush();
         }
         session.setClipboard(new ClipboardHolder(clipboard));
 
@@ -465,19 +465,6 @@ public class ClipboardCommands {
             actor.print(Caption.of("fawe.tips.tip.copypaste"));
         }
     }
-
-    private void saveDiskClipboard(Clipboard clipboard) {
-        DiskOptimizedClipboard c;
-        if (clipboard instanceof DiskOptimizedClipboard) {
-            c = (DiskOptimizedClipboard) clipboard;
-        } else if (clipboard instanceof BlockArrayClipboard
-                && ((BlockArrayClipboard) clipboard).getParent() instanceof DiskOptimizedClipboard) {
-            c = (DiskOptimizedClipboard) ((BlockArrayClipboard) clipboard).getParent();
-        } else {
-            return;
-        }
-        c.flush();
-    }
     //FAWE end
 
     @Command(