10.20.3 Other Changes

• Jasper: -Djava.library.path=[...] is no longer necessary when Java is the parent application under Unix.
• library(gauge): The default has been changed to show non-zero counts only.
• library(gauge): New Specification: Calls+Backtracking. This is especially meaningful when Resolution is Clause.