Merge branch 'feature/jenkins_release' into 'develop'

Merge of feature/jenkins_release to develop

See merge request o2oa/o2oa!283

Jenkinsfile_release

@@ -4,7 +4,7 @@ pipeline {
         stage('Stop Server') {
             steps {
                 catchError(buildResult: 'SUCCESS') {
-                    sh 'target/o2server/stop_linux.sh'
+                    sh 'target/o2server/stop_windows.sh'
                 }
             }
         }