Merge branch 'master' into gc

This commit is contained in:
Daniella 2022-06-26 04:51:56 +02:00
commit c325c792a2

View file

@ -1810,6 +1810,7 @@ public class ISBPL {
String w = word.toString();
while(w.startsWith("(") && w.length() > 1)
w = w.substring(1);
if(!w.startsWith("\""))
while(w.endsWith(")") && w.length() > 1)
w = w.substring(0, w.length() - 1);
words.add(w);
@ -1822,6 +1823,7 @@ public class ISBPL {
String w = word.toString();
while(w.startsWith("(") && w.length() > 1)
w = w.substring(1);
if(!w.startsWith("\""))
while(w.endsWith(")") && w.length() > 1)
w = w.substring(0, w.length() - 1);
words.add(w);