Collections.emptyIterator() is 1.7 API but we don't want to give up 1.6

We don't want to give up 1.7 compatibility right now but
Collections.emptyIterator() is Java 1.7 API. For now we've made our own
replacement. If we finally switch over to 1.7 we can use
Collections.emptyIterator() directly.