Fixes #5725: change target of compilation to Java 7
Merge pull request #14 from ncharles/arc_5664/dev/5725_compile_to_java_7

Fixes #5725: change target of compilation to Java 7