functioning JPF