package p; import java.security.Permission; public class TestImportAddTopLevel { public void foo(Permission[] a, int b){ } }