去除数组的重复元素

有这么一个数组：

int a[]={12,12,12,56,56,56,124,124,124,124};

怎么做才能取得此数组中的三种数。也就是说我最终输出的是：12 56 124

Java代码

int a[]={12,12,12,56,56,56,124,124,124,124};

Set set=new TreeSet();

for(int i=0;i

set.add(a[i]);

}

Iterator it=set.iterator();

while(it.hasNext()){

System.out.println(it.next());

}