@dejandb, I just looked at the environment I'm using for builds, and Java 8 is not yet available for it, so while I don't object to Java 7, we should avoid Java 8 for now.