Make build work on Java 1.8.