除去数组的重复元素

去除数组的重复元素
有这么一个数组：
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());   }