jpf-ltl update