[#4] Java 7 is now officially supported, again...