Closed nfi closed 10 years ago
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.
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.