fixed endstate bug in jpf and added endstate test case