Version: 7000

Force Java 7 build, as building for 1.6 fails, complaining about the
'diamond operator'.