# HG changeset patch # User chegar # Date 1381866475 -3600 # Node ID 0d8a8d936ec967be13ccf9fdf5a7536f4d20d3d4 # Parent 1994584442f116eb4d522244f60e38ee9ac2704d# Parent e1efbecefefa99a618ccc4df276ed1ae18317332 Merge diff -r e1efbecefefa -r 0d8a8d936ec9 langtools/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlWriter.java --- a/langtools/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlWriter.java Tue Oct 15 19:36:45 2013 +0100 +++ b/langtools/src/share/classes/com/sun/tools/doclets/formats/html/markup/HtmlWriter.java Tue Oct 15 20:47:55 2013 +0100 @@ -312,7 +312,7 @@ String scriptCode = "