class Foo { public int x(int y) throws abc { return 42; } public static void main(String[] args) { } }