--- gov/nasa/jpf/jvm/ThreadInfo.java (revision 210)
+++ gov/nasa/jpf/jvm/ThreadInfo.java (working copy)
@@ -1137,8 +1137,7 @@
return false;
}
- return getMethod().isStatic()
- ? false : r.getIndex() == getLocalVariable(0);
+ return !getMethod().isStatic() && r.getIndex() == getLocalVariable(0);
}