Forcing Java 7