compile to Java7