ErrorNavigation_after.java

class foo {
    {
        if (a) {
            do {
            } while (<caret>);
        }
    }
}