percyliang/fig — pull request #1 by froystig (2013-05-25 03:16:54+00:00)
Title: misc

RNG seeding:
- SeededRandom class for easier tracking of seeds to java.util.Random.
- Accept longs as Option types (useful for command-line random seeding).

Drive-by: a tomcat URL update and a few new methods to ListUtils.