sbt/sbt — pull request #1521 by jsuereth (2014-08-11 18:55:34+00:00)
Title: Fixes flaky no-such-element exception from bad generation of random test...

...s.

Latest in the jenkins whack-a-mole cc> @eed3si9n for review.