Request for approval: fix 4428022, System.out.println(0.001) outputs 0.0010

[Alan Bateman]

Andrew Haley wrote:
> :
> To which openjdk7 repo do you want me to push this?
> My best guess is jdk7/jdk7-gate/jdk.
>   
jdk7/tl-gate/jdk is where libs changes should be pushed.

-Alan.