#4 Rewrite of ?: to && expression ThreadInfo

[ing. Rolf Huisman]

Index: gov/nasa/jpf/jvm/ThreadInfo.java

--- 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);
}