Switched back to Java 7 again. :-)