---

Vector.java

class Vector 
{
     int elementCount;
     java.lang.Object[] elementData;
     
     public boolean contains (java.lang.Object elem)
     {
          return (this.indexOf(elem,0) >= 0);
     }
     
     public synchronized void addElement (java.lang.Object obj)
     {
          this.elementCount = (this.elementCount + 1);
          this.elementData[this.elementCount] = obj;
     }
     
     public int size ()
     {
          return this.elementCount;
     }
     
     public synchronized boolean removeElement (java.lang.Object obj)
     {
          int i = this.indexOf(obj);
          if (i >= 0)
          {
               this.removeElementAt(i);
               return true;
          }
          return false;
     }
     
     public synchronized void removeAllElements ()
     {
          for (int i = 0; i < this.elementCount; i = (i + 1))
          {
               this.elementData[i] = null;
          }
          this.elementCount = 0;
     }
     
     public synchronized java.lang.Object[] toArray ()
     {
          java.lang.Object[] result = new java.lang.Object[this.elementCount];
          this.arraycopy(this.elementData,0,result,0,this.elementCount);
          return result;
     }
     
     public Vector(int n)
     {
          this.elementData = new java.lang.Object[n];
          this.elementCount = 0;
     }
     
     public synchronized int indexOf (java.lang.Object elem, int index)
     {
          if (elem == null)
          {
               for (int i = index; i < this.elementCount; i = (i + 1))
               {
                    if (this.elementData[i] == null)
                    {
                         return i;
                    }
               }
          } else
          {
               for (int i = null; i$0 < this.elementCount; i$0 = (i$0 + 1))
               {
                    if (elem == this.elementData[i$0])
                    {
                         return i$0;
                    }
               }
          }
          return -1;
     }
     
     public int indexOf (java.lang.Object elem)
     {
          return this.indexOf(elem,0);
     }
     
     public synchronized void removeElementAt (int index)
     {
          if (index >= this.elementCount)
          {
               throw new java.lang.ArrayIndexOutOfBoundsException(java.lang.String.valueOf(index).concat(" >= ").concat(java.lang.String.valueOf(this.elementCount)));
          } else
          {
               if (index < 0)
               {
                    throw new java.lang.ArrayIndexOutOfBoundsException(index);
               }
          }
          int j = ((this.elementCount - index) - 1);
          if (j > 0)
          {
               this.arraycopy(this.elementData,(index + 1),this.elementData,index,j);
          }
          this.elementCount = (this.elementCount - 1);
          this.elementData[this.elementCount] = null;
     }
     
     private void arraycopy (java.lang.Object[] src, int src_position, java.lang.Object[] dest, int dest_position, int length)
     {
          for (int i = 0; i < length; i = (i + 1))
          {
               dest[(dest_position + i)] = src[(src_position + i)];
          }
     }
}

---