CoralVM-Java: Updating visitors