/**
   This class removes duplicates from an array.  After removeDups() is
   called, public field "size" contains the new size of the array.
   Thus, positions 0 through size-1 of the array given in the
   constructor contain all _sorted_ unique integer values of the
   original array.  Positions beyond size-1 may contain arbitrary
   values.
*/
public class DuplicateRemover2
{
    private int[] a;
    public int size;

    /**
       Constructs a duplicate remover.
       @param anArray the array to remove duplicates
    */
    public DuplicateRemover2(int[] anArray)
    {
	a = anArray;
	size = anArray.length;
    }

    /**
       Remove all duplicate array values.
    */
    public void removeDups()
    {
	// IMPLEMENT
    }
}