/**
   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 unique integer values of the original
   array.  Positions beyond size-1 may contain arbitrary values.
*/
public class DuplicateRemover
{
    private int[] a;
    public int size;

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

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

}