public static String[] getNames() {
    init();
    String[] ret = new String[myPageSizes.size()];
    for(int i = 0; i < myPageSizes.size(); i++) {
      PageSize pageSize = myPageSizes.get(i);
      ret[i] = pageSize.name;
    }
    return ret;
  }
public static String[] getNames()