In the meanwhile Java 7+ is the default anyway