beta_java8 needs cast - openjdk, too?