(XS) Review Request JDK-8204584: jdeps generates illegal dot file containing ranksep=0,600000

[Jonathan Gibbons]

Looks OK to me.

-- Jon

On 06/07/2018 04:06 PM, mandy chung wrote:
> The dot files are generated and used as module graph in the docs build.
> The format of double should use no localization; otherwise an illegal
> ranksep attribute.
>
> Mandy
>
>
> diff --git 
> a/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ModuleDotGraph.java 
> b/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ModuleDotGraph.java
> --- a/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ModuleDotGraph.java
> +++ b/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ModuleDotGraph.java
> @@ -44,6 +44,7 @@
>  import java.util.Deque;
>  import java.util.HashSet;
>  import java.util.List;
> +import java.util.Locale;
>  import java.util.Map;
>  import java.util.Objects;
>  import java.util.Set;
> @@ -329,7 +330,7 @@
>
>                  out.format("digraph \"%s\" {%n", name);
>                  out.format("  nodesep=.5;%n");
> -                out.format("  ranksep=%f;%n", attributes.rankSep());
> +                out.format((Locale)null, "  ranksep=%f;%n", 
> attributes.rankSep());
>                  out.format("  pencolor=transparent;%n");
>                  out.format("  node [shape=plaintext, 
> fontcolor=\"%s\", fontname=\"%s\","
>                                  + " fontsize=%d, margin=\".2,.2\"];%n",