import org.jetbrains.annotations.NotNull; class J { public static class Foo extends A { public Foo(int i, @NotNull String s) { super(); } } }