public class J { public int f() { return 42; } }