Bug 549247 - jenkins job to deploy mvn artifacts

- fix final release version
diff --git a/maven/infrastructure/artifact-deployer/pom.xml b/maven/infrastructure/artifact-deployer/pom.xml
index 96f8b58..8bdb981 100644
--- a/maven/infrastructure/artifact-deployer/pom.xml
+++ b/maven/infrastructure/artifact-deployer/pom.xml
@@ -62,7 +62,7 @@
 		<otre.version>2.7.0.201806120901</otre.version>
 		<otruntime.version>2.7.3.201903120955</otruntime.version>
 		<!--   version of the org.eclipse.objectteams.otredyn plugin:	-->
-		<otredyn.version>1.3.7.201912070827</otredyn.version>
+		<otredyn.version>1.3.7.201912117141</otredyn.version>
 		
 		<!-- locate the jar files to install/deploy: -->
 		<ecotj.jar.file>${ecj.export.dir}/ecotj-${ecotj.version}.jar</ecotj.jar.file>