public class J extends K {
    public final int value = 42;
}