Explicitely use Java7