//file class C extends javaApi.Derived { public String foo(String s) { return s; } }