Merge branch 'NoPort' into 'master'

Jenkinsfile#port no longer needed, because docker allows reusing ports

See merge request exedio/copeconsole!103

Jenkinsfile

@@ -45,8 +45,8 @@ try
 				    ' "-Dbuild.tag=' + buildTag + '"' +
 				    ' -Dbuild.status=' + (isRelease?'release':'integration') +
 				    ' -Dinstrument.verify=true' +
-				    ' -Dtomcat.port.shutdown=' + port(0) +
-				    ' -Dtomcat.port.http=' + port(1)
+				    ' -Dtomcat.port.shutdown=18005' +
+				    ' -Dtomcat.port.http=18080'
 			}
 
 			recordIssues(
@@ -296,8 +296,3 @@ void assertGitUnchanged()
 		error 'FAILURE because fetching dependencies produces git diff:\n' + gitStatus
 	}
 }
-
-def port(int offset)
-{
-	return 28000 + 10*env.EXECUTOR_NUMBER.toInteger() + offset
-}