@witty-crayon-22786 I landed one of my changes. As you pointed out before, after the java 7 default change lands, I will still need to republish jars and land a change that bumps the version number for the tools. Judging from the speed of travis, I don't think it will be today.