class RandomJavaClass { void f(foo.UsedInJava p) { } }