int[] to ArrayList<Integer>