fix ArrayList.elementAt()