Bonjour,
Le code proposé dans la question donne pour résultat :   A;B;C;[1, 2, 5, 7, 20]
on peut donc utiliser une fonction de remplacement de caractères pour lui donner la forme souhaitée :
 
textl = textl.replaceAll('\\[|\\]','')  // Supprime les crochets
textl = textl.replaceAll(',',';')       // Remplace les , par des ;
textl = textl.replace(' ','')           // Supprime les espaces en trop
println(textl)
et on obtient ceci :  A;B;C;1;2;5;7;20
Remarque : pour les crochets on est obligé d'utiliser \\[ au lieu de simplement [ parce qu'ils sont considérés comme des caractères spéciaux qui peuvent servir à définir des expressions à reamplacer justement.