allow use of Java7