fix script for publishing JavaSMT's Yices2 component into Maven.

It was quite a long time since we needed to execute that part last time.

Author: kfriedberger

build/build-maven-publish.xml

@@ -200,7 +200,7 @@ SPDX-License-Identifier: Apache-2.0
         <!-- prepare the pom-file -->
         <generate-solver-pom-file/>
         <!-- then publish the files -->
-        <stage-solver-file filename="javasmt-yices2" fileending="jar" classifier=""/>
+        <stage-solver-file filename="javasmt-yices2" fileending="jar" classifier="" filedirectory="lib/java/runtime-yices2"/>
         <stage-solver-file filename="javasmt-yices2-sources" fileending="jar" classifier="sources" filedirectory="lib/java-contrib"/>
     </target>
     <target name="stage-yices2" depends="build-dependencies"