Make merge left-biased in the Java version.