/src/main/java/org/htmlunit/html/ScriptElementSupport.java
if ( isDebugEnabled( ) ) {   debug( ( "Loading external JavaScript: " + src) ) ; }
[Delete]
return; } final HtmlPage page = (HtmlPage) element.getPage(); if (src != ATTRIBUTE_NOT_DEFINED) { if (!src.startsWith(JavaScriptURLConnection.JAVASCRIPT_PREFIX)) { if (LOG.isDebugEnabled()) { <extra_id_0> } try { scriptElement.setExecuted(true); Charset charset = EncodingSniffer.toCharset(scriptElement.getCharsetAttribute()); if (charset == null) { charset = page.getCharset();