updated HtmlLauncher.java