Make the -noguillemot option output escaped characters compatible

with version 1.13 of Graphviz.

doc/ver.xml

@@ -5,6 +5,11 @@
 
 <dt>Version 4.9 Under development </dt><dd>
 <ul>
+<li> Test data is now compatible with the output of the Java 6.0 javadoc</li>
+<li> Java 6.0 deprecated methods are marked in the code as such.</li>
+<li> The -noguillemot option now outputs escaped characters compatible
+with version 1.13 of Graphviz.
+(reported by Roger Alexander).</li>
 <li> Fix inferred relations of maps to primitive Java types.
 (reported by Przemyslaw Wesolek).</li>
 </ul>

src/gr/spinellis/umlgraph/doclet/Options.java

@@ -402,8 +402,8 @@ public class Options implements Cloneable, OptionProvider {
 	} else if (opt[0].equals("-!apidocmap")) {
 	    apiDocMap.clear();
 	} else if(opt[0].equals("-noguillemot")) {
-	    guilOpen = "\\<\\<";
-	    guilClose = "\\>\\>";
+	    guilOpen = "&lt;&lt;";
+	    guilClose = "&gt;&gt;";
 	} else if (opt[0].equals("-!noguillemot")) {
 	    guilOpen = "\u00ab";
 	    guilClose = "\u00bb";

src/org/umlgraph/doclet/Options.java

@@ -402,8 +402,8 @@ public class Options implements Cloneable, OptionProvider {
 	} else if (opt[0].equals("-!apidocmap")) {
 	    apiDocMap.clear();
 	} else if(opt[0].equals("-noguillemot")) {
-	    guilOpen = "\\<\\<";
-	    guilClose = "\\>\\>";
+	    guilOpen = "&lt;&lt;";
+	    guilClose = "&gt;&gt;";
 	} else if (opt[0].equals("-!noguillemot")) {
 	    guilOpen = "\u00ab";
 	    guilClose = "\u00bb";