better configuration of JPF-LTL