fixed endstate bug in jpf branch counting and added an endstate test
case