At this point, nobody really cares about Java 7 anymore. This upgrade allows better use of generics in a couple of places.
