The status of the following program is undefined. This is one area
of difference in behavior between jikes and javac that is tested
for by the JCK test suite. Is this program allowed? Please update
the specification to make it clear.

public class dasg17302 {
    public static void main(String args[]) {
        new dasg17302().test();
    }

    void test() {
        final int k;
        class I {
            int i = k; // error: k might be unassigned
        }
        { k = 5;}
        int i = new I().i;
    }
}