Fix single step (GUI) to work again. Update build to use Java 7.

Java 6 is approaching end-of-life. This patch updates the build to use Java 7 with its new features. Also fixes the single step (via GUI) to work again and some compiler warnings.