Forcing java 7 at compilation time