Be double sure we build with Java 1.6