Fixed jpf-ltl library