Fixed the HTML escaping and refactored the snippet widget.

rapidoid-widget/src/main/java/org/rapidoid/widget/SnippetWidget.java

@@ -52,16 +52,19 @@ protected Tag render() {
 		return hardcoded("<pre class=\"example-code\">" + prettify() + "</pre>");
 	}
 
-	public String prettify() {
-
+	public static String prettify(String sourceCode, boolean escape) {
 		// ignoring "\"" => "&quot
-		String snippet = code.replace("<", "&lt;").replace(">", "&gt;").replace("&", "&amp;");
+		String snippet = escape ? sourceCode.replace("&", "&amp;").replace("<", "&lt;").replace(">", "&gt;")
+				: sourceCode;
 
 		snippet = UTILS.replace(snippet, regex, new Mapper<String[], String>() {
 			@Override
 			public String map(String[] src) throws Exception {
 				String s = src[0];
 				char ch = s.charAt(0);
+
+				// FIXME @Annotations
+
 				if (Character.isUpperCase(ch)) {
 					return "<span class=\"_code_cls\">" + s + "</span>";
 				} else if (ch == '"' || ch == "'".charAt(0)) {
@@ -81,4 +84,8 @@ public String map(String[] src) throws Exception {
 		return snippet.trim();
 	}
 
+	public String prettify() {
+		return prettify(code, true);
+	}
+
 }