allow compilation under java 7