From 392ac334dc78bf2e6ab27dbca0414af988fae2e4 Mon Sep 17 00:00:00 2001
From: Peter Osterlund <peterosterlund2@gmail.com>
Date: Sun, 5 Apr 2020 09:38:27 +0200
Subject: [PATCH] Small optimization

---
 .../src/main/java/org/petero/droidfish/gamelogic/GameTree.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DroidFishApp/src/main/java/org/petero/droidfish/gamelogic/GameTree.java b/DroidFishApp/src/main/java/org/petero/droidfish/gamelogic/GameTree.java
index e424279..21434cf 100644
--- a/DroidFishApp/src/main/java/org/petero/droidfish/gamelogic/GameTree.java
+++ b/DroidFishApp/src/main/java/org/petero/droidfish/gamelogic/GameTree.java
@@ -1413,7 +1413,7 @@ public class GameTree {
         }
 
         private static Pair<String, String> extractExtInfo(String comment, String cmd) {
-            comment = comment.replaceAll("\n|\r|\t", " ");
+            comment = comment.replaceAll("[\n\r\t]", " ");
             String remaining = comment;
             String param = null;
             String match = "[%" + cmd + " ";