From 53de238a7e8bcaee3fe99c2ffde3ec643dbfcfb3 Mon Sep 17 00:00:00 2001
From: Hans Mackowiak <hanmac@gmx.de>
Date: Wed, 25 Jun 2025 17:25:46 +0200
Subject: [PATCH] Update EnemySprite.java

Fix Android not having stream().toList()
---
 forge-gui-mobile/src/forge/adventure/character/EnemySprite.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/forge-gui-mobile/src/forge/adventure/character/EnemySprite.java b/forge-gui-mobile/src/forge/adventure/character/EnemySprite.java
index b15ebfc427f..3f8d99f9f9d 100644
--- a/forge-gui-mobile/src/forge/adventure/character/EnemySprite.java
+++ b/forge-gui-mobile/src/forge/adventure/character/EnemySprite.java
@@ -448,7 +448,7 @@ public class EnemySprite extends CharacterSprite implements Steerable<Vector2> {
         if (data.copyPlayerDeck && Current.latestDeck() != null) {
             List<PaperCard> paperCardList = Current.latestDeck().getMain().toFlatList().stream()
                     .filter(paperCard -> !paperCard.isVeryBasicLand())
-                    .toList();
+                    .collect(Collectors.toList());
 
             if (paperCardList.size() < 6) {
                 // Player trying to cheese doppleganger and farm cards. Sorry, the fun police have arrived