fix for NoSuchMethod error for Arrays.copyOf() in API <= 8