去除数组的重复元素

有这么一个数组：
int a[]={12,12,12,56,56,56,124,124,124,124};
怎么做才能取得此数组中的三种数。也就是说我最终输出的是： 12 56 124

   int a[]={12,12,12,56,56,56,124,124,124,124};
		   Set  set=new TreeSet();
		   for(int i=0;i<a.length;i++){ 
		       set.add(a[i]);
		   }
		   Iterator it=set.iterator();
		   while(it.hasNext()){
		     System.out.println(it.next());
		   }