@@ -1091,11 +1091,11 @@ encoding = r.getEncoding(); return new BufferedReader(r); } /** - * Scan an html file for <applet> tags + * Scan an html file for {@code <applet>} tags */ public static void parse(URL url, String enc) throws IOException { encoding = enc; parse(url, System.out, new StdAppletViewerFactory()); }