Make buildable on JDK 7