JavaAgent implementation that patches the HALF_UP NumberFormat bug in JDK8