Provider array[] = new Provider[providers.size ()];
Provider[] array = new Provider[providers.size ()];
  public static Provider[] getProviders()  {    Provider array[] = new Provider[providers.size ()];    providers.copyInto (array);        return array;    }