equal
deleted
inserted
replaced
1091 encoding = r.getEncoding(); |
1091 encoding = r.getEncoding(); |
1092 return new BufferedReader(r); |
1092 return new BufferedReader(r); |
1093 } |
1093 } |
1094 |
1094 |
1095 /** |
1095 /** |
1096 * Scan an html file for <applet> tags |
1096 * Scan an html file for {@code <applet>} tags |
1097 */ |
1097 */ |
1098 public static void parse(URL url, String enc) throws IOException { |
1098 public static void parse(URL url, String enc) throws IOException { |
1099 encoding = enc; |
1099 encoding = enc; |
1100 parse(url, System.out, new StdAppletViewerFactory()); |
1100 parse(url, System.out, new StdAppletViewerFactory()); |
1101 } |
1101 } |