docs: private static String[] copyOf(String[] orig, int size) {
          final String[] copy = new String[size];
          System.arraycopy(orig, 0, copy, 0,
                  Math.min(orig.length, size));
          return copy;
      }