public class TableKeysIterator implements java.util.Iterator {
	//Data
	java.util.Iterator it,itOld;

	//Constructor
	public TableKeysIterator(java.util.Iterator arg) {
		it = itOld = arg;
	}
 
	//Iterator methods
	public boolean hasNext() { return it.hasNext(); }
	public Object next() { return ((Entry)(it.next())).getKey(); }
	public void remove() { it.remove(); }
	public void reset() { it = itOld; }
}