Fix incorrectly-labeled test.
Merge branch '1.4.x'
Unsat cores.
Java-side interface improvements for unsat cores.