It was my first idea but `Arrays.copyOf` is not supported by GWT