even more Java 7 stuff :)