public  Object previousElement(boolean wrap)
public  Object previousElement()
    public /*synchronized*/ Object previousElement(boolean wrap)    {	Object obj = vertices.elementAt(tail_--);	if (tail_ < 0) tail_ = size_ - 1;	return obj;    }