// Check if a method name is mangled properly in the presence | |
// of an array parameter sharing a part of the type name | |
// with a subsequent parameter. | |
public class PR9577 | |
{ | |
private native void sayHello (String[] s, Object o); | |
public static void main (String[] args) | |
{ | |
PR9577 x = new PR9577( ); | |
x.sayHello( null, null); | |
} | |
} |