Use Java 7 and produce debug information.