make it compile with java 1.8 too