jpf-ltl-libs fix