duke@1: /*
duke@1:  * @test  /nodynamiccopyright/
duke@1:  * @bug 6230128
jjg@611:  * @compile/fail/ref=T6230128.out -XDrawDiagnostics T6230128.java
duke@1:  */
duke@1: class A1 {
duke@1:     public void foo(Object[] args) { }
duke@1: }
duke@1: 
duke@1: class A1a extends A1 {
duke@1:     void foo(Object... args) { }
duke@1: }