Updated to Java 7 via the new Crawljax core. Fixing #25