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