#3 NullPointerException if while loop is confused with for loop

[Trevor Harmon]

Clepsydra throws a NullPointerException when analyzing the following code:

int j = 0;
@LoopBound(max=10)
while (j < 10)
{
@LoopBound(max=5)
while (j < 5)
{
j++;
}
}

Apparently it has something to do with JODE thinking the inner while loop is a for loop.