Jenkinsfile define array in withEnv block

Question

I know, that I can define some local variable for the script, using withEnv syntax:

withEnv(["ENV_SERVER=backoffice03-prod.company.com"]) {
    sh &