cast for java16