Fix #856: Make javalibEx compile and properly test in CI