Would be nice but we deliberately use java 1.6