platform requirment: Java 7 (instead of Java 6), two minor new features,
and a few small bug fixes so far.