8204584: jdeps generates illegal dot file containing ranksep=0,600000
authormchung
Fri, 08 Jun 2018 08:30:18 -0700
changeset 50467 e0a32b178e6f
parent 50466 cb1d8c083db0
child 50468 4a5fd709e286
8204584: jdeps generates illegal dot file containing ranksep=0,600000 Reviewed-by: jjg
src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ModuleDotGraph.java
--- a/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ModuleDotGraph.java	Fri Jun 08 07:58:19 2018 -0700
+++ b/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ModuleDotGraph.java	Fri Jun 08 08:30:18 2018 -0700
@@ -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",