1.3 HTML コンバータを使用した Java Plug-in 用 Applet タグの変換