Skip to content

Conversation

@slyubomirsky
Copy link
Contributor

This was prompted by the fact that the current specification using iterator().nthNextElement() didn't play well with methods that use this particular ArrayList constructor. I'm not sure whether the cast will be any more workable though.

@davidcok
Copy link
Member

Steven - I'd prefer that you work with the revised specs and when you are confident it does what is needed, then we merge. are you at that point?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants