I using Jenkins server version 2.204.2. Jenkins running in in Apache Tomcat

I run following code : 

```
pipeline {

    agent { node { label 'master' } }

    options {
        timestamps()
    }

    stages {

        stage('Test') {
            steps {
                script {
                    String stamp = new Date().format("YYYY.MM.dd HH:mm:ss")
                    println("Stamp 1 : ${stamp}")

                    String stamp2 = new Date().format("YYYY.MM.dd HH:mm:ss", TimeZone.getTimeZone("Asia/Jerusalem"))
                    println("Stamp 2 : ${stamp2}")
}}}}}

```

Output (local time is 18:30 now. My timezone is Asia/Jerusalem) is:

> 
> 18:30:02 Stamp 1 : 2020.06.14 **15:30:02** 
> 
> 
> 18:30:02 Stamp 2 : 2020.06.14 18:30:02
> 
> 
> 

In systeminfo page (http:///jenkins/systemInfo) I see user.timezone=Asia/Jerusalem

Why by default new Date() returns wrong time ? 
Same code works properly on another server

Thank you 

Update: this code runs on master.