Merge pull request 'master' (#13) from master into release/1.1

Reviewed-on: #13

Jenkinsfile

@@ -48,7 +48,7 @@ def init() {
     if (branch_name.indexOf('master')==0) build_type='master'
 
     // common pipeline elements
-    node('master') {
+    node() {
           Initialize()
           SetVersion(build_type)
           print_vars() // after SetVersion - all variables now defined
@@ -57,16 +57,16 @@ def init() {
     }
     
    if (branch_name.indexOf('develop')==0) {
-      node('master') {
+      node() {
             Deploy();
       }
     } else if (branch_name.indexOf('release/')==0) {
-      node('master') {
+      node() {
             Deploy();
       }
     }
 
-    node('master') {
+    node() {
           set_result('SUCCESS')
     }