634635636637638639640641642643644
script jslink = new script(); jslink.setLanguage("javascript"); jslink.setSrc(extension.getScriptURL()); doc.appendHead(jslink); } doc.output(w); } w.flush(); w.close(); } catch (Exception e)