Dominic: set java source level to JDK 8