package testing; class JavaSub extends Klass { void foo(int a) { } }