配列

int[] a = {1, 2, 3};

に、新しい要素「10」を加えて

a[0]=1
a[1]=2
a[2]=3
a[3]=10

とするために、一番簡単な方法を教えて下さい。
私はVecterに変換してaddを使って要素を加えた後にまた戻す、
という方法しか知らないんですが、他にどんなのがありますか？