Prepare for upstream JDK8 fix; don't patch if the HALF_UP and HALF_DOWN cases jump to the same point.
Bump version to 0.9.3-SNAPSHOT, wait for release until JDK patch is finalized.