Ant: build for Java 1.7 instead of 1.5