making Java8 happy