build_java.sh: Link against static DDlog library.

When linking JNI against DDlog program that was compiled with both
static and dynamic libraries, use the `-static` linker option to link
against the static version.

java/build_java.sh

@@ -57,7 +57,7 @@ function compile {
     # Compile Java program
     javac -encoding utf8 -Xlint:unchecked ${JAVAPROG}
     # Create a shared library containing all the native code: ddlogapi.c, ${DLPROG}_ddlog.a
-    ${CC} -std=gnu11 -shared -fPIC -I${JAVA_HOME}/include -I${JAVA_HOME}/include/${JDK_OS} -I${DLDIR}/${DLPROG}_ddlog -I../../lib ../ddlogapi.c -L${DLDIR}/${DLPROG}_ddlog/target/${BUILD}/ -l${DLPROG}_ddlog -o libddlogapi.${SHLIBEXT}
+    ${CC} -std=gnu11 -shared -fPIC -I${JAVA_HOME}/include -I${JAVA_HOME}/include/${JDK_OS} -I${DLDIR}/${DLPROG}_ddlog -I../../lib ../ddlogapi.c -L${DLDIR}/${DLPROG}_ddlog/target/${BUILD} -Wl,-static -l${DLPROG}_ddlog -Wl,-Bdynamic -o libddlogapi.${SHLIBEXT}
 }
 
 function cleanup {