import org.jetbrains.annotations.NotNull; abstract class A { public final int x; abstract boolean foo(int n); abstract void bar(@NotNull String s); }